代码改变世界

随笔档案-2018年05月

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

2018-05-30 18:45 by huhee, 1153 阅读, 收藏,
摘要： 题目：KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs作者：Cristian Cadar, Daniel Dunbar, Dawson Engler ∗单位：St 阅读全文