An Informal Formal Method for Systematic JUnit Test Case Generation.

P. David Stotts Mark Lindsey Angus Antley

Published in: XP/Agile Universe (2002)

Keyphrases

database
high level
software engineering
test set
pattern matching
optimization method