Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London - Ernst Cassirer - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-03-08 07:04:45 Software testing Concolic testing Symbolic execution Java Pathfinder KeY Random testing Model checking Satisfiability modulo theories Unit testing Type system White-box testing Fuzz testing		Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 209,85 KB Share Document on Facebook

	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University DocID: 1xTg2 - View Document
	Using Symbolic (Java) PathFinder at NASA Corina S. P˘as˘areanu Carnegie Mellon University/NASA Ames Research Center, Moffett Field, CA 94035, USA, DocID: 1s1qc - View Document
	Exhaustive Testing of Safety Critical Java DocID: 1qTQs - View Document
	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Patrice Godefroid Imperial College London DocID: 1pese - View Document
	PDF Document DocID: 1iKZC - View Document