Sciweavers

CP
2007
Springer

Exploring Different Constraint-Based Modelings for Program Verification

14 years 3 months ago
Exploring Different Constraint-Based Modelings for Program Verification
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these tasks may involve integer ranging on all machine-integers, thus, the constraint-based modeling of the program and its specification is a critical issue. In this paper we investigate different models. We show that a straightforward translation of a program and its specification in a system of guarded constraints is ive. We outline the key role of Boolean abstractions and explore different search strategies on standard benchmarks.
Hélène Collavizza, Michel Rueher
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2007
Where CP
Authors Hélène Collavizza, Michel Rueher
Comments (0)