Automated test data generation using an iterative relaxation method
A System to Generate Test Data and Symbolically Execute Programs