Date: 2010-09-11 18:31:43Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling | | Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology PasadenaAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 107,62 KBShare Document on Facebook
|