Oregon State University

Biblio

Found 2 results

2010
Groce, A., K. Havelund, and M. Smith, "From Scripts to Specifications: the Evolution of a Flight Software Testing Effort", ACM/IEEE International Conference on Software Engineering, Cape Town, South Africa, pp. 129–138, 05/2010. Abstract
2008
Havelund, K., A. Groce, G. J. Holzmann, R. Joshi, and M. Smith, "Automated Testing of Planning Models", Workshop on Model Checking and Artificial Intelligence (MoChArt), Patras, Greece, 07/2008. Abstract

Contact Info

Oregon State University
1148 Kelley Engineering Center
Corvallis, OR 97331-5501
Phone: (541) 737-3617
Fax: (541) 737-1300
Contact us with your comments and questions
Copyright ©  2012 Oregon State University
Disclaimer