Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software

Search‐based software test data generation: a survey

Phil McMinn · Software Testing Verification and Reliability · 2004 · 1.3K citations

Search Optimization, Engineering, Software Systems +16

Soot

Raja Vallée-Rai, Phong Co, Étienne Gagnon et al. · 2010 · 921 citations

Engineering, Compiler Technology, Computer Architecture +18

Strongly Typed Genetic Programming

David J. Montana · Evolutionary Computation · 1995 · 900 citations

Artificial Intelligence, Mathematical Programming, Engineering +18

Software Testing Research: Achievements, Challenges, Dreams

Antonia Bertolino · 2007 · 826 citations

Software Maintenance, Software Testing Research, Engineering +14

Preliminary design of JML

Gary T. Leavens, Albert L. Baker, Clyde Ruby · ACM SIGSOFT Software Engineering Notes · 2006 · 781 citations

Engineering, Java Expressions, Verification +24