Differential symbolic execution
A System to Generate Test Data and Symbolically Execute Programs