Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

by Favio Demarco, Jifeng Xuan, Daniel Le Berre and Martin Monperrus
Abstract: We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result – if there exists one – into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.
 View PDF
Open-access (on archives-ouvertes.fr)
Open-access (on arXiv.org)
Publisher version (via DOI)
Citations: [citations]
Other publications of Martin Monperrus

Cite it:

Favio Demarco, Jifeng Xuan, Daniel Le Berre and Martin Monperrus, "Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT", In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014.
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
https://hal.archives-ouvertes.fr/hal-00977798/file/NOPOL-Automatic-Repair-of-Buggy-If-Conditions-and-Missing-Preconditions-with-SMT.pdf
[Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT](https://hal.archives-ouvertes.fr/hal-00977798/file/NOPOL-Automatic-Repair-of-Buggy-If-Conditions-and-Missing-Preconditions-with-SMT.pdf)

Bibtex Entry:

@inproceedings{DeMarco2014,
 title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT},
 author = {Demarco, Favio and Xuan, Jifeng and Le Berre, Daniel and Monperrus, Martin},
 url = {https://hal.archives-ouvertes.fr/hal-00977798/file/NOPOL-Automatic-Repair-of-Buggy-If-Conditions-and-Missing-Preconditions-with-SMT.pdf},
 booktitle = {{Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis}},
 year = {2014},
 doi = {10.1145/2593735.2593740},
}
Powered by bibtexbrowser
Tagged as: