MC/DC automatic test input data generation
The chaining approach for software test data generation