Isomorphic regression testing: executing uncovered branches without test augmentation
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs