Isomorphic regression testing: executing uncovered branches without test augmentation
A System to Generate Test Data and Symbolically Execute Programs