A Framework for the Automatic Correction of Constraint Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah. A Framework for the Automatic Correction of Constraint Programs. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011. pages 319-326, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Nadjib Lazaar' in GoogleThis author has not been identified. Look up 'Arnaud Gotlieb' in GoogleThis author has not been identified. Look up 'Yahia Lebbah' in Google

runs on WebDSL