Automated, Targeted Testing of Property-Based Testing Predicates
Automated, Targeted Testing of Property-Based Testing Predicates
复制标题
基于属性的测试谓词的自动化、有针对性的测试
DOI：
10.22152/programming-journal.org/2022/6/10
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Nelson, Tim;Rivera, Elijah;Soucie, Sam;Del Vecchio, Thomas;Wrenn, John;Krishnamurthi, Shriram
登录
查看更多内容
合金的自动测试生成和突变测试
DOI：
10.1109/icst.2017.31
发表时间：
2017
期刊：
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
影响因子：
--
作者：
Allison Sullivan;Kaiyuan Wang;Razieh Nokhbeh Zaeem;S. Khurshid
通讯作者：
S. Khurshid
DOI：
10.1007/978-3-642-24485-8_44
发表时间：
2011-10
期刊：
--
影响因子：
--
作者：
S. Maoz;Jan Oliver Ringert;Bernhard Rumpe
通讯作者：
S. Maoz;Jan Oliver Ringert;Bernhard Rumpe
寻找声明性规范的最小不可满足核心
DOI：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson
验证开放流交换机规格的（不是）好方法：使用合金对开放流交换机进行形式化建模
DOI：
10.1145/2486001.2491711
发表时间：
2013
期刊：
Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM
影响因子：
--
作者：
Natali Ruchansky;Davide Proserpio
通讯作者：
Davide Proserpio
DOI：
10.1007/978-3-319-19249-9_25
发表时间：
2015
期刊：
2016 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)
影响因子：
--
作者：
Tim Nelson;Andrew D. Ferguson;S. Krishnamurthi
通讯作者：
S. Krishnamurthi