DeepState: Symbolic Unit Testing for C and C Peter Goodman Alex Groce Trail of Bits, Inc. - Manage m - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-10-25 13:17:14 Software testing Software engineering Computing Software development Symbolic execution Test automation Differential testing Unit testing Fuzzing Random testing KeY Test harness		DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc. Add to Reading List Source URL: www.trailofbits.com Download Document from Source Website File Size: 315,42 KB Share Document on Facebook

	Nicolas Grégoire Nullcon 2017 Nearly generic fuzzing of XML-based formats DocID: 1v9Xa - View Document
	Online Model-Based Behavioral Fuzzing Fraunhofer FOKUS Martin Schneider Jürgen Großmann Ina Schieferdecker Giesecke & Devrient DocID: 1utyv - View Document
	FlowFuzz A Framework for Fuzzing OpenFlow-enabled Software and Hardware Switches Nicholas Gray, Manuel Sommer, Thomas Zinner, Phuoc Tran-Gia About us DocID: 1u2yd - View Document
	IoTFuzzer: Discovering Memory Corruptions in IoT Through App-based Fuzzing Jiongyi Chen1 , Wenrui Diao2 , Qingchuan Zhao3 , Chaoshun Zuo3 , Zhiqiang Lin3,4 , XiaoFeng Wang5 , Wing Cheong Lau1 , Menghan Sun1 , Ronghai Yan DocID: 1tMd3 - View Document
	SAGE: Whitebox Fuzzing for Security Testing Ella Bounimova Patrice Godefroid David Molnar DocID: 1tM0w - View Document