OREGON STATE UNIVERSITY

You are here

Biblio

Found 2 results
Filters: Author is Xu, Ru-Gang  [Clear All Filters]
2008
Groce, A., G. J. Holzmann, R. Joshi, and R-G. Xu, "Putting Flight Software Through the Paces with Testing, Model Checking, and Constraint-Solving", In Workshop on Constraints in Formal Verification, Sydney, Australia, pp. 1--15, 08/2008.
Andrews, J., A. Groce, M. Weston, and R-G. Xu, "Random Test Run Length and Effectiveness", IEEE/ACM International Conference on Automated Software Engineering, L’Aquila, Italy, 09/2008.