Active Bibliography

226 EXE: Automatically generating inputs of death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 2006
19 EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution – Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler - 2006
45 Automatically generating malicious disks using symbolic execution – Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson Engler - 2006
122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
5 eXplode: A lightweight, general approach for finding serious errors in storage systems – Junfeng Yang, Paul Twohey, Ben Pfaff, Can Sar, Dawson Engler - 2005
32 Automatic Testing of Software with Structurally Complex Inputs – Darko Marinov - 2005
240 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
54 A theory of predicate-complete test coverage and generation – Thomas Ball - 2004
Automatic Program Repair Using Genetic Programming – Claire Le Goues - 2013
53 EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors – Junfeng Yang, Can Sar , Dawson Engler - 2006
34 The software model checker BLAST: Applications to software engineering – Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar - 2006
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS – Eric D. Larson - 2004
176 Generalized Symbolic Execution for Model Checking and Testing – Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser - 2003
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
1 Efficient Modular Glass Box Software Model Checking – Michael Roberson, Chandrasekhar Boyapati
21 Efficient Software Model Checking of Data Structure Properties – Paul Darga , Chandrasekhar Boyapati - 2006
12 Delta execution for efficient state-space exploration of object-oriented programs – Marcelo d'Amorim, Steven Lauterburg, Darko Marinov - 2007
7 Efficient Software Model Checking of Soundness of Type Systems – Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati - 2008
115 Symstra: A framework for generating object-oriented unit tests using symbolic execution – Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin - 2005