There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
An automatic fault localization tool for Java programs. It combines dynamic symbolic execution with incremental Max-SMT solver to identify program locations at which a manifested error can be fixed.