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

	Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 EPFL, Lausanne, Switzerland DocID: 1xV59 - View Document
	Practical Fault Injection Attacks on SPHINCS Aymeric Genêt1,2 , Matthias J. Kannwischer3 , Hervé Pelletier2 , and Andrew McLauchlan2 ? 1 3 DocID: 1xTiq - View Document
	Qualitative Evaluation of Fault Hypotheses with NonIntrusive Fault Injection Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs, Alois Knoll fortiss GmbH An-Institut Technische Universität München DocID: 1viiS - View Document
	WSInject A Fault Injection Tool for Testing Web Services Composition Fayçal Bessayah, Ana Cavalli - IT/Telecom SudParis, FRANCE DocID: 1tIQc - View Document
	Parametric Trojans for Fault-Injection Attacks on Cryptographic Hardware Raghavan Kumar$ , Philipp Jovanovice , Wayne Burleson$ and Ilia Poliane $ University of Massachusetts Amherst, 01002, USA e University of Passau, 9 DocID: 1tjxw - View Document