Automatic Generation of Software Tests from Formal Specifications (1998)

by C Meudec
Venue:In Ph.D. dissertation. Queen’s University of