代码改变世界

当前标签：symbolic execution

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs huhee 2018-05-30 18:45 阅读: 1153 评论: 0 推荐: 0