24. www.eegroup.org.cn
2015年起Pex发布为微软Visual Studio企业版IntelliTest
Tillmann, de Halleux, Xie. Transferring an Automated Test Generation Tool to Practice: From Pex to Fakes and Code Digger. ASE 2013.
Xie, Tillmann, de Halleux, Schulte. Fitness-Guided Path Exploration in Dynamic Symbolic Execution. DSN 2009.
支持用.NET语言写的被测代码
Fitnex: 受遗传算法的启发来指导路径搜索
智能化测试数据生成IntelliTest
28. www.eegroup.org.cn
输入: 被测方法+不包含断言的测试方法
输出: 断言
ATLAS的输出
ATLAS的输入
ATLAS:基于深度学习推荐断言
Watson et al. On Learning Meaningful Assert Statements for Unit Test Cases. ICSE 2020
32. www.eegroup.org.cn
决策被检索到的断言是否应该被修改
决策哪个地方 (被调方法,变量,或常量) 应该被修改
决策修改成什么新的值
被检索到断言的适配
于浩等, Automated Assertion Generation via Information Retrieval and Its Integration with Deep Learning. ICSE 2022
需被推荐断言的测试方法 被检索到的断言
不正确(但可适配)的断言例子