Advanced Topics in Combinatorial Methods for Testing

First Page		Document Content
Date: 2014-09-04 15:52:31 Computing Software engineering Temporal logic Assertion Debugging Fuzz testing Model checking Computation tree logic Java Modeling Language Software testing Logic in computer science Theoretical computer science		Advanced Topics in Combinatorial Methods for Testing Add to Reading List Source URL: csrc.nist.gov Download Document from Source Website File Size: 1,30 MB Share Document on Facebook

	zzuf – multiple purpose fuzzer input fuzz testing ● The idea DocID: 1uxVs - View Document
	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) Michael Y. Levin DocID: 1twqB - View Document
	MDISS TECHNICAL WHITE PAPER SERIES FUZZ TESTING: IMPROVING MEDICAL DEVICE QUALITY AND SAFETY MDISS and Codenomicon: Fuzz Testing Copyright © 2012, Codenomicon. All rights reserved. DocID: 1s69p - View Document
	TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection DocID: 1rjKP - View Document
	Fuzzing Fuzzing: A Solution Chosen by the FDA to Investigate Detection of Software Vulnerabilities DocID: 1ri8B - View Document