Heuristics for Scalable Dynamic Test Generation
Symbolic execution and program testing