concolic测试相关论文
为了减少分析和存储信息,提高测试效率,针对Concolic测试中存在同一同步串运行多次的现象及测试效率不高的问题,提出了基于并行Jav......
符号执行技术提出近四十年，随着计算机科学与技术的发展，在软件工程领域得到广泛的应用，成为一种流行的自动测试技术。对符号执行技术......
为了全面测试演化软件,回归测试通常需要生成新的测试用例.concolic测试是一种沿着具体执行路径进行符号执行的软件验证技术,通过......
在软件生命周期过程中,软件测试是保证软件质量的关键环节之一。随着并行分布式系统和网络技术的不断发展,并行程序得到广泛应用。......
该文提出了一种基于二进制补丁比对的Concolic测试方法,用于对软件进行漏洞分析。该方法将补丁比对技术与Concolic测试方法进行了......
期刊
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在......
期刊
对规模较大的程序进行安全测试过程中,Concolic测试常面临路径爆炸和求解能力不足等问题。为缓解此类问题,提出一种面向源代码的导......
期刊
