postconditions 相关硕士博士期刊学术论文 - 搜论网

postconditions相关论文

一种基于符号执行的测试用例生成方法

针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用......

期刊

符号执行路径爆炸后置条件最弱前置条件 symbolic execution path explosion postconditions weakest p

看过本文同时还关注