Back to Results
First PageMeta Content
Software 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 Pasadena
Add to Reading List

Document Date: 2010-09-11 18:31:43


Open Document

File Size: 107,62 KB

Share Result on Facebook