Automatic test data generation using constraint solving techniques (1998)

by A Gotlieb, B Botella, M Rueher
Venue:ACM SIGSOFT Software Engineering Notes