- Enhancing Server Availability and Security Through Failure-Oblivious Computing
- A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)
- EXE: Automatically Generating Inputs of Death Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly
- Execution Generated Test Cases: How to Make Systems Code Crash Itself
- Exploring the Acceptability Envelope Martin Rinard
- Multiplicity Computing: A Vision of Software Engineering for
- Automatically Generating Malicious Disks using Symbolic Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar and Dawson Engler
- Efficient Specification-Assisted Error Localization Brian Demsky Cristian Cadar Daniel Roy Martin Rinard
- Preventing memory error exploits with WIT Periklis Akritidis
- RWset: Attacking Path Explosion in Constraint-Based Test Generation
- Data Randomization Cristian Cadar
- Symbolic Execution for Software Testing in Practice Preliminary Assessment
- EXE: Automatically Generating Inputs CRISTIAN CADAR, VIJAY GANESH, PETER M. PAWLOWSKI,
