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

First Page		Document Content
Date: 2010-09-11 18:31:43 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 Source URL: rjoshi.org Download Document from Source Website File Size: 107,62 KB Share Document on Facebook

	Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, and Henry M. Levy Department of Computer Science and Engineering University of Washington Seattle, WAUSA {mikesw,bershad DocID: 1vkXP - View Document
	International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT DocID: 1urDX - View Document
	Veena Misra Professor of Electrical and Computer Engineering North Carolina State University Optimizing Performance and Reliability of GaN MOSFET Devices Owing to a high critical electric field and high electron mobility DocID: 1ukgt - View Document
	5 Metrics You Should Know to Understand Your Engineering Efficiency Increase the speed and reliability of your team by understanding these key indicators DocID: 1u7ws - View Document
	Practical Reliability Engineering for Semiconductor Equipment Daniel J. Weidman, Ph.D. Advanced Electron Beams, Wilmington, MA IEEE Boston-area Reliability Society Meeting DocID: 1tIgr - View Document