Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. On Testing Constraint Programs. In David Cohen, editor, Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings. Volume 6308 of Lecture Notes in Computer Science, pages 330-344, Springer, 2010. [doi]
@inproceedings{LazaarGL10, title = {On Testing Constraint Programs}, author = {Nadjib Lazaar and Arnaud Gotlieb and Yahia Lebbah}, year = {2010}, doi = {10.1007/978-3-642-15396-9_28}, url = {http://dx.doi.org/10.1007/978-3-642-15396-9_28}, tags = {testing, constraints}, researchr = {https://researchr.org/publication/LazaarGL10}, cites = {0}, citedby = {0}, pages = {330-344}, booktitle = {Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings}, editor = {David Cohen}, volume = {6308}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-15395-2}, }