Chang, J., and D. J. Richardson,
"Structural Specification-Based Testing: Automated Support and Experimental Evaluation",
7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (SIGSoft '99), Toulouse, France, ACM Press, pp. 285-302, 6-10 Sept. 1999.