On Testing Constraint Programs.

Nadjib Lazaar Arnaud Gotlieb Yahia Lebbah

Published in: CP (2010)

Keyphrases

symbolic execution
fixpoint
concurrent programs
genetic algorithm
computer vision
computer programs
software testing
static analysis
programming environment
intermediate level
constraint solving