[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - A Framework for the Automatic Correction of Constraint Programs

• 作者Lazaar, Nadjib; Gotlieb, Arnaud; Lebbah, Yahia
• 文件大小894.04KB
• 发表时间2011
• DOI10.1109/icst.2011.41
• 页码319-326