Dawson Engler
Stanford University(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques, Security and Verification in Computing, Software Engineering Research, Software Reliability and Analysis Research
Most-Cited Works
- → KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs(2008)2,670 cited
- → Exokernel(1995)1,115 cited
- → EXE(2006)784 cited
- → Bugs as deviant behavior(2001)740 cited
- → An empirical study of operating systems errors(2001)708 cited
- → RacerX(2003)660 cited
- → A few billion lines of code later(2010)613 cited
- → Checking system rules using system-specific, programmer-written compiler extensions(2000)537 cited
- → CMC(2002)360 cited