Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (bibtex)

by Favio Demarco, Jifeng Xuan, Daniel Le Berre and Martin Monperrus

Reference:

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT (Favio Demarco, Jifeng Xuan, Daniel Le Berre and Martin Monperrus), In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014.

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},
}