- [1] Liu Ai,刘杨, 一种基于条件序列覆盖的测试用例生成方法
- [2] 刘艾,刘奕灵, 一种基于程序切片的覆盖循环边界测试用例生成方法
- [3] Liu Ai,饶磊,刘少英,Yang Zhibin, 一种融合切片测试和形式验证的运行时异常检测方法
| |
| |
Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)
Click:| The Last Update Time:--| The Last Update Time:-- |MOBILE Version