An orchestrated survey of methodologies for automated software test case generation
Software Testing Research: Achievements, Challenges, Dreams