代码改变世界

随笔档案-2018年05月

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

2018-05-30 18:45 by huhee, 1117 阅读, 收藏,
摘要： 题目：KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs作者：Cristian Cadar, Daniel Dunbar, Dawson Engler ∗单位：St 阅读全文
点击右上角即可分享
微信分享提示