猜测符号执行相关论文
软件质量是软件的生命,它直接影响着软件的使用和维护。软件测试是保证软件质量的重要手段,也是软件开发流程不可或缺的环节,用来......
符号执行作为一种基本的程序分析技术,已被广泛应用于软件测试领域。研究表明,即使在现有的查询优化技术的支持下,约束求解也仍然......