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

	Getting Things Done: Practical Web/e-Commerce Application Stress Testing Robert Sabourin President AmiBug.Com, Inc. DocID: 1uwGF - View Document
	Waller Testing Facility Area Hotel Information LOCAL HOTELS: Holiday Inn Express & Suites Houston NW – Cypress Grand Pky DocID: 1ummL - View Document
	Partner: Drought Stress Testing: Making Financial Institutions more Resilient to Environmental Risks 17 March 2017 Venue: Bloomberg LP, New York DocID: 1u4Yx - View Document
	Partner: Drought Stress Testing: Making Financial Institutions more Resilient to Environmental Risks 10 March 2017 Venue: FEBRABAN, São Paulo DocID: 1u2k4 - View Document
	FR08/2018 Implementation monitoring of PFMI: follow-up Level 3 assessment of CCPs’ recovery planning, coverage of financial resources and liquidity stress testing DocID: 1tWXp - View Document