DeepState: Symbolic Unit Testing for C and C Peter Goodman Alex Groce Trail of Bits, Inc. - Black Canyon - 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

	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ DocID: 1xVC4 - View Document
	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw DocID: 1xVzE - View Document
	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution DocID: 1xV4A - View Document
	Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute DocID: 1xU5v - View Document
	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to DocID: 1viNk - View Document