科技报告详细信息
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | |
, Cristian Cadar, Daniel Dunbar, Dawson Engler, | |
RP-ID : CSTR 2008-03 5/8/08 | |
学科分类:计算机科学(综合) | |
来源: Stanford Computer Science Technical Reports | |
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
standford_CS_tech_reports/2008-03.pdf | 178KB | download |