Automatic Test Data Generation Using Constraint Solving Techniques.

Arnaud Gotlieb, Bernard Botella, Michel Rueher

Browse the full ISSTA paper archive.