ISR Bibliography

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is formal specification and Author is Chang, Juei  [Clear All Filters]
1999
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.