Biblio
Found 2 results
"Random Test Run Length and Effectiveness",
IEEE/ACM International Conference on Automated Software Engineering, L’Aquila, Italy, 09/2008.
Abstract
"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.
Abstract
Facebook
LinkedIn