Selective Symbolic Execution
Hybrid Concolic Testing