Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
A Framework for the Automatic Correction of Constraint Programs
ICST, 2011.
@inproceedings{ICST-2011-LazaarGL, author = "Nadjib Lazaar and Arnaud Gotlieb and Yahia Lebbah", booktitle = "{Proceedings of the Fourth IEEE International Conference on Software Testing, Verification and Validation}", doi = "10.1109/ICST.2011.41", isbn = "978-0-7695-4342-0", pages = "319--326", publisher = "{IEEE Computer Society}", title = "{A Framework for the Automatic Correction of Constraint Programs}", year = 2011, }