| KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs C Cadar, D Dunbar, D Engler USENIX conference on Operating Systems Design and Implementation (OSDI), 209-224, 2008 | 3089 | 2008 |
| EXE: A system for automatically generating inputs of death using symbolic execution C Cadar, V Ganesh, P Pawlowski, D Dill, D Engler Proceedings of the ACM Conference on Computer and Communications Security, 2006 | 1400* | 2006 |
| Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013 | 735 | 2013 |
| Enhancing server availability and security through failure-oblivious computing M Rinard, C Cadar, D Dumitran, DM Roy, T Leu, WS Beebee Jr Proceedings of the 6th conference on Symposium on Opearting Systems Design …, 2004 | 435 | 2004 |
| Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... International Conference on Software Engineering, Impact Track (ICSE Impact …, 2011 | 409 | 2011 |
| Preventing memory error exploits with WIT P Akritidis, C Cadar, C Raiciu, M Costa, M Castro Security and Privacy, 2008. SP 2008. IEEE Symposium on, 263-277, 2008 | 366 | 2008 |
| Execution generated test cases: How to make systems code crash itself C Cadar, D Engler Model Checking Software, 2005 | 316 | 2005 |
| RWset: Attacking path explosion in constraint-based test generation P Boonstoppel, C Cadar, D Engler Tools and Algorithms for the Construction and Analysis of Systems, 351-366, 2008 | 299 | 2008 |
| Automatically generating malicious disks using symbolic execution J Yang, C Sar, P Twohey, C Cadar, D Engler Security and Privacy, 2006 IEEE Symposium on, 15 pp.-257, 2006 | 136 | 2006 |
| A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors) M Rinard, C Cadar, D Dumitran, DM Roy, T Leu Computer Security Applications Conference, 2004. 20th Annual, 82-90, 2004 | 130 | 2004 |
| KATCH: High-Coverage Testing of Software Patches PD Marinescu, C Cadar European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013 | 128 | 2013 |
| Safe software updates via multi-version execution P Hosek, C Cadar Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 107 | 2013 |
| Symbolic crosschecking of floating-point and SIMD code P Collingbourne, C Cadar, PHJ Kelly Proceedings of the sixth conference on Computer systems, 315-328, 2011 | 93 | 2011 |
| Data randomization C Cadar, P Akritidis, M Costa, JP Martin, M Castro Technical Report MSR-TR-2008-120, Microsoft Research, 2008 | 92 | 2008 |
| make test-zesti: a symbolic execution solution for improving regression testing PD Marinescu, C Cadar International Conference on Software Engineering (ICSE 2012), 716-726, 2012 | 90 | 2012 |
| VARAN the Unbelievable: An Efficient N-version Execution Framework P Hosek, C Cadar Proceedings of the Twentieth International Conference on Architectural …, 2015 | 73 | 2015 |
| Multi-solver Support in Symbolic Execution H Palikareva, C Cadar International Conference on Computer Aided Verification (CAV 2013), 53-68, 2013 | 71 | 2013 |
| Symbolic testing of OpenCL code P Collingbourne, C Cadar, PHJ Kelly Proceedings of the Haifa Verification Conference (HVC), 203-218, 2012 | 56 | 2012 |
| Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software P Marinescu, P Hosek, C Cadar International Symposium on Software Testing and Analysis (ISSTA 2014), 93-104, 2014 | 48 | 2014 |
| Shadow of a Doubt: Testing for Divergences Between Software Versions H Palikareva, T Kuchta, C Cadar International Conference on Software Engineering (ICSE 2016), 2016 | 43 | 2016 |
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
