MC/DC automatic test input data generation
Automatic Generation of Floating-Point Test Data