Randomized Differential Testing as a Prelude to Formal Verification

@article{Groce2007RandomizedDT,
  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)},
  year={2007},
  pages={621-631}
}
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

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…