An orchestrated survey of methodologies for automated software test case generation
Directed symbolic execution