This is the repository of Nopol.

Nopol is an automatic software repair tool developed at Inria Lille.

This code is research code, released under the GPL licence.

If you use this code for academic research, please cite: Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (Favio DeMarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus), In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)

@InProceedings{DeMarco2014, Title = {{Automatic Repair of Buggy If Conditions and Missing Preconditions with {SMT}}}, Author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, Booktitle = {Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)}, Year = {2014} }

A compiled version of Nopol is at nopol-0.0.3-SNAPSHOT-jar-with-dependencies.jar It requires an SMT solver installed on the machine (e.g. Z3)

For questions and feedback , please contact [email protected]