Isues in the full scale use of formal methods for automated testing (1996)

by J L Crowley, J F Leathrum, K A Liburdy
Venue:ACM SIGSOFT Software Engineering