Skip to content

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

Notifications You must be signed in to change notification settings

rsommerard/nopol

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 

Repository files navigation

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]

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published