Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
Primary LanguageJavaGNU General Public License v2.0GPL-2.0