约束求解器相关论文
软件测试是确保软件质量的重要方法,基本的技术手段是利用不同的测试案例去执行被测程序,测试案例的选取密切地关系着软件测试的质......
程序分析是主要的程序属性分析方法,在变量依赖关系、路径覆盖率、测试用例约简等方面有广泛的应用,并取得了大量研究成果。目前,......
提出了一种基于约束的造型系统模型，通过约束网、约束求解器与实体特征表示、实体的边界表示，获得一致的实时更新的实体，此系统将极大......
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以......
