基于程序切片的符号执行相关硕士博士期刊学术论文

在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证......