Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

by Favio Demarco, Jifeng Xuan, Daniel Le Berre and 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.
https://doi.org/10.1145/2593735.2593740

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
http://arxiv.org/pdf/1404.3186

[Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT](http://arxiv.org/pdf/1404.3186) ([doi:10.1145/2593735.2593740](https://doi.org/10.1145/2593735.2593740))

\href{http://arxiv.org/pdf/1404.3186}{Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT} % \cite{1404.3186}

Bibtex Entry:

@inproceedings{1404.3186,
 title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT},
 booktitle = {{Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis}},
 year = {2014},
 doi = {10.1145/2593735.2593740},
 author = {Favio Demarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus},
 url = {http://arxiv.org/pdf/1404.3186},
}