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.
Primary LanguageJava