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

by J Chang, D J Richardson
Venue:In Foundations of Software Engineering (FSE