An informal formal method for systematic JUnit test case generation (2002)

by David Stotts, Mark Lindsey, Angus Antley
Venue:In Proc. the 2002 XP/Agile Universe