lizj14 / nopol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from spoonlabs/nopol
Automatic repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.
Home Page: https://hal.archives-ouvertes.fr/hal-01285008/document
License: GNU General Public License v2.0