KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs 论文

2008引用 2680
DOI
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchSoftware Engineering Research
企业软件Software Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
关系图谱

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs · 相关技术

暂无数据