MC/DC automatic test input data generation
Predicate expression cost functions to guide evolutionary search for test data