![Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling Software testing / Software engineering / Computing / Quality / Fault injection / Software verification / Reliability engineering / Formal verification / Flash memory / Software quality / Stress testing / Exception handling](https://www.pdfsearch.io/img/5b1e4bec2dbcd5fe5c09f378ab806751.jpg) 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
|