Active Bibliography

Execution Generated Test Cases: How to Make Systems Code Crash Itself – unknown authors
246 EXE: Automatically generating inputs of death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler - 2006
unknown title – Exe Automatically, Generating Inputs, Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Englercomputer Systems Laboratory
unknown title – Exe Automatically, Generating Inputs, Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Englercomputer Systems Laboratory
ABSTRACT EXE: Automatically Generating Inputs of Death – Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
22 EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution – Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler - 2006
49 Automatically generating malicious disks using symbolic execution – Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson Engler - 2006
301 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
579 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005