ISR Bibliography

Export 3 results:
Author Title [ Type(Asc)] Year
Filters: Keyword is formal specification and Author is Debra J Richardson  [Clear All Filters]
Conference Proceedings
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.
Reyes, A. A., and D. Richardson, "Siddhartha: A Method for Developing Domain-specific Test Driver Generators", 14th IEEE International Conference on Automated Software Engineering (ASE '99), Cocoa Beach, FL, USA, pp. 81-90, 12-15 Oct. 1999.
Conference Paper
Vieira, M. E. R., M. S. Dias, and D. J. Richardson, "Analyzing Software Architectures with Argus-I", International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 758-761, June 4-11, 2000.