Structural specification-based testing: Automated support and experimental evaluation (1999)

by Juei Chang, Debra J Richardson
Venue:In Proc. of the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE