XJIPC OpenIR

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
基于符号执行生成测试数据的过程优化 学位论文
硕士, 北京: 中国科学院研究生院, 2012
Authors:  于亚南
Adobe PDF(893Kb)  |  Favorite  |  View/Download:82/0  |  Submit date:2016/05/10
软件测试  符号执行  前向遍历  后向遍历  表达式化简  
路径条件生成中的优化策略 期刊论文
计算机工程与设计, 2012, 卷号: 33, 期号: 10, 页码: 3995-3998+4003
Authors:  于亚南;  周喜
Adobe PDF(321Kb)  |  Favorite  |  View/Download:120/3  |  Submit date:2013/04/20
符号执行  路径条件  前向遍历  后向遍历  依赖变量