| 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 | 3629 | 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 | 1484* | 2006 |
| Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013 | 887 | 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 | 452 | 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 | 444 | 2011 |
| Preventing memory error exploits with WIT P Akritidis, C Cadar, C Raiciu, M Costa, M Castro 2008 IEEE Symposium on Security and Privacy (sp 2008), 263-277, 2008 | 401 | 2008 |
| Execution generated test cases: How to make systems code crash itself C Cadar, D Engler Model Checking Software, 2005 | 333 | 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 | 325 | 2008 |
| KATCH: High-Coverage Testing of Software Patches PD Marinescu, C Cadar European Software Engineering Conference / ACM SIGSOFT Symposium on the …, 2013 | 157 | 2013 |
| Automatically generating malicious disks using symbolic execution J Yang, C Sar, P Twohey, C Cadar, D Engler 2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006 | 145 | 2006 |
| A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors) M Rinard, C Cadar, D Dumitran, DM Roy, T Leu 20th Annual Computer Security Applications Conference, 82-90, 2004 | 131 | 2004 |
| Safe software updates via multi-version execution P Hosek, C Cadar Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 125 | 2013 |
| Data randomization C Cadar, P Akritidis, M Costa, JP Martin, M Castro Technical Report MSR-TR-2008-120, Microsoft Research, 2008 | 104 | 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 | 100 | 2012 |
| 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 | 97 | 2011 |
| VARAN the Unbelievable: An Efficient N-version Execution Framework P Hosek, C Cadar Proceedings of the Twentieth International Conference on Architectural …, 2015 | 95 | 2015 |
| Multi-solver Support in Symbolic Execution H Palikareva, C Cadar International Conference on Computer Aided Verification (CAV 2013), 53-68, 2013 | 82 | 2013 |
| Chopped Symbolic Execution D Trabish, A Mattavelli, N Rinetzky, C Cadar ACM/IEEE 40th International Conference on Software Engineering, 2018 | 68 | 2018 |
| Symbolic testing of OpenCL code P Collingbourne, C Cadar, PHJ Kelly Proceedings of the Haifa Verification Conference (HVC), 203-218, 2012 | 67 | 2012 |
| Shadow of a Doubt: Testing for Divergences Between Software Versions H Palikareva, T Kuchta, C Cadar International Conference on Software Engineering (ICSE 2016), 2016 | 56 | 2016 |
Dawson EnglerAssociate Professor of Computer Science, Stanford UniversityVerified email at stanford.edu
