Automatic Test Data Generation Using Constraint Solving Techniques.

Arnaud Gotlieb Bernard Botella Michel Rueher Automatic Test Data Generation Using Constraint Solving Techniques. 53-62 1998 ISSTA http://doi.acm.org/10.1145/271771.271790 db/conf/issta/issta98.html#GotliebBR98