Automated test data generation using an iterative relaxation method
Automated Software Test Data Generation