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

by P D Stotts, M Lindsey, A Antley
Venue:of Lecture Notes in Computer Science