EXE: Automatically generating inputs of death (2006)

by Cristian Cadar , Vijay Ganesh , Peter M. Pawlowski , David L. Dill , Dawson R. Engler
Venue:In Proceedings of the 13th ACM Conference on Computer and Communications Security (CCS
Citations:226 - 14 self

Active Bibliography

20 EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution – Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler - 2006
46 Automatically generating malicious disks using symbolic execution – Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson Engler - 2006
92 Execution generated test cases: How to make systems code crash itself – Cristian Cadar, Dawson Engler - 2005
8 Efficient Software Model Checking of Soundness of Type Systems – Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati - 2008
5 eXplode: A lightweight, general approach for finding serious errors in storage systems – Junfeng Yang, Paul Twohey, Ben Pfaff, Can Sar, Dawson Engler - 2005
122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
1 On the role of static analysis in operating system checking and runtime verification – Abhishek Rai - 2005
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS – Eric D. Larson - 2004
MoDist: Transparent Model Checking of . . . – Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
21 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
35 Cogent: Accurate theorem proving for program verification – Byron Cook, Daniel Kroening, Natasha Sharygina - 2005
59 Model Checking Large Network Protocol Implementations – Madanlal Musuvathi, Dawson R. Engler - 2004
1 Automatic test data generation for programming exercises with symbolic execution and Java PathFinder – Petri Ihantola - 2006
1 Glass Box Software Model Checking – Michael E. Roberson - 2011
Accurate theorem proving for program analysis – Byron Cook, Daniel Kroening, Natasha Sharygina
Program Verification by . . . – Ranjit Jhala - 2004
19 Abstracting Symbolic Execution with String Analysis Testing – Daryl Shannon, Daiqian Zhan, Sukant Hajra, Alison Lee, Sarfraz Khurshid - 2007
36 Modular Data Structure Verification – Martin C. Rinard - 2007
250 ESP: Path-Sensitive Program Verification in Polynomial Time – Manuvir Das, Sorin Lerner, Mark Seigle - 2002