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

by D Stotts, M Lindsey, A Antley
Venue:in Proc. 2nd XP Universe and 1st Agile Universe Conference (XP/Agile Universe