CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs.

Nadjib Lazaar

Browse the full ICST paper archive.