Dawson Engler 人物
相关论文查看全部 (10)
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008引用 2680
Exokernel
1995引用 1118
EXE
2006引用 787
Bugs as deviant behavior
2001引用 747
相关公司查看全部 (1)
Stanford UniversityUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据