Regular property guided dynamic symbolic execution
Directed symbolic execution