Randomized Differential Testing as a Prelude to Formal Verification

  title={Randomized Differential Testing as a Prelude to Formal Verification},
  author={Alex Groce and Gerard J. Holzmann and Rajeev Joshi},
  journal={29th International Conference on Software Engineering (ICSE'07)},
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission hardware. We report on a flight software development effort incorporating large-scale (biased) randomized testing on commodity desktop hardware. The results show that use of a reference implementation, hardware simulation with fault injection, a testable design, and test minimization enabled a high degree of… CONTINUE READING
Highly Cited
This paper has 128 citations. REVIEW CITATIONS
84 Citations
1 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…