| Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. C Cadar, D Dunbar, DR Engler OSDI 8, 209-224, 2008 | 3630 | 2008 |
| Exokernel: An operating system architecture for application-level resource management DR Engler, MF Kaashoek, J O'Toole Jr ACM SIGOPS Operating Systems Review 29 (5), 251-266, 1995 | 1817 | 1995 |
| EXE: Automatically generating inputs of death C Cadar, V Ganesh, PM Pawlowski, DL Dill, DR Engler ACM Transactions on Information and System Security (TISSEC) 12 (2), 1-38, 2008 | 1484 | 2008 |
| An empirical study of operating systems errors A Chou, J Yang, B Chelf, S Hallem, D Engler Proceedings of the eighteenth ACM symposium on Operating systems principles …, 2001 | 1068 | 2001 |
| Bugs as deviant behavior: A general approach to inferring errors in systems code D Engler, DY Chen, S Hallem, A Chou, B Chelf ACM SIGOPS Operating Systems Review 35 (5), 57-72, 2001 | 1029 | 2001 |
| RacerX: Effective, static detection of race conditions and deadlocks D Engler, K Ashcraft ACM SIGOPS operating systems review 37 (5), 237-252, 2003 | 1015 | 2003 |
| Checking system rules using system-specific, programmer-written compiler extensions D Engler, B Chelf, A Chou, S Hallem STANFORD UNIV CA COMPUTER SYSTEMS LAB, 2000 | 839 | 2000 |
| A few billion lines of code later: using static analysis to find bugs in the real world A Bessey, K Block, B Chelf, A Chou, B Fulton, S Hallem, C Henri-Gros, ... Communications of the ACM 53 (2), 66-75, 2010 | 755 | 2010 |
| {CMC}: A Pragmatic Approach to Model Checking Real Code M Musuvathi, DYW Park, A Chou, DR Engler, DL Dill 5th Symposium on Operating Systems Design and Implementation (OSDI 02), 2002 | 535 | 2002 |
| A system and language for building system-specific, static analyses S Hallem, B Chelf, Y Xie, D Engler Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 460 | 2002 |
| Application performance and flexibility on exokernel systems MF Kaashoek, DR Engler, GR Ganger, HM Briceno, R Hunt, D Mazieres, ... Proceedings of the sixteenth ACM symposium on Operating systems principles …, 1997 | 442 | 1997 |
| Using model checking to find serious file system errors J Yang, P Twohey, D Engler, M Musuvathi ACM Transactions on Computer Systems (TOCS) 24 (4), 393-423, 2006 | 415 | 2006 |
| Using programmer-written compiler extensions to catch security holes K Ashcraft, D Engler Proceedings 2002 IEEE Symposium on Security and Privacy, 143-159, 2002 | 341 | 2002 |
| Execution generated test cases: How to make systems code crash itself C Cadar, D Engler International SPIN Workshop on Model Checking of Software, 2-23, 2005 | 333 | 2005 |
| Archer: using symbolic, path-sensitive analysis to detect memory access errors Y Xie, A Chou, D Engler Proceedings of the 9th European software engineering conference held jointly …, 2003 | 330 | 2003 |
| RWset: Attacking path explosion in constraint-based test generation P Boonstoppel, C Cadar, D Engler International conference on Tools and Algorithms for the Construction and …, 2008 | 325 | 2008 |
| DPF: Fast, flexible message demultiplexing using dynamic code generation DR Engler, MF Kaashoek ACM SIGCOMM Computer Communication Review 26 (4), 53-59, 1996 | 282 | 1996 |
| Z-ranking: Using statistical analysis to counter the impact of static analysis approximations T Kremenek, D Engler International Static Analysis Symposium, 295-315, 2003 | 243 | 2003 |
| VCODE: a retargetable, extensible, very fast dynamic code generation system DR Engler ACM SIGPLAN Notices 31 (5), 160-170, 1996 | 236 | 1996 |
| {Under-Constrained} Symbolic Execution: Correctness Checking for Real Code DA Ramos, D Engler 24th USENIX Security Symposium (USENIX Security 15), 49-64, 2015 | 212 | 2015 |
