Strengthening Inferred Specifications using Search Based Testing
Strengthening Inferred Specifications using Search Based Testing
复制标题
使用基于搜索的测试强化推断规范
DOI：
10.1109/icstw.2008.39
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Ghani K
中科院分区：
文献类型：
--
作者：
Ghani K
登录
查看更多内容
生成测试数据以动态发现可能的程序不变量
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
Neelam Gupta
通讯作者：
Neelam Gupta
通过符号执行推断不变量
DOI：
--
发表时间：
2007
期刊：
VERIFY
影响因子：
--
作者：
P. Schmitt;Benjamin Weiß
通讯作者：
Benjamin Weiß
基于操作违规的工具辅助单元测试选择
DOI：
--
发表时间：
2003
期刊：
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
影响因子：
--
作者：
Tao Xie;D. Notkin
通讯作者：
D. Notkin
DOI：
--
发表时间：
2003
期刊：
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
影响因子：
--
作者：
Neelam Gupta;Zachary V. Heidepriem
通讯作者：
Zachary V. Heidepriem
使用进化策略进行软件测试
DOI：
--
发表时间：
2005
期刊：
Rapid Integration of Software Engineering Techniques
影响因子：
--
作者：
E. Alba;Francisco Chicano
通讯作者：
Francisco Chicano