Juei Chang, Debra J. Richardson. Structural Specification-Based Testing: Automated Support and Experimental Evaluation. In Oscar Nierstrasz, Michel Lemoine, editors, Software Engineering - ESEC/FSE 99, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 1999, Proceedings. Volume 1687 of Lecture Notes in Computer Science, pages 285-302, Springer, 1999. [doi]
Abstract is missing.