The chaining approach for software test data generation
Constraint-Based Automatic Test Data Generation