Heuristics for Scalable Dynamic Test Generation
A System to Generate Test Data and Symbolically Execute Programs