Back to Results
First PageMeta Content
Data types / Symbolic execution / Pointer / Array data structure / Array data type / Bit array / Type system / Concolic testing


EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A {cristic,
Add to Reading List

Document Date: 2016-03-08 07:04:45


Open Document

File Size: 1.000,62 KB

Share Result on Facebook
UPDATE