CompoSAT: Specification-Guided Coverage for Model Finding
CompoSAT: Specification-Guided Coverage for Model Finding
复制标题
CompoSAT：规范指导的模型查找覆盖范围
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Krishnamurthi, Shriram
中科院分区：
文献类型：
--
作者：
Porncharoenwase, Sorawee;Nelson, Tim;Krishnamurthi, Shriram
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
Fundamental Approaches to Software Engineering
影响因子：
--
作者：
Nuno Macedo;Alcino Cunha;Tiago Guimarães
通讯作者：
Tiago Guimarães
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
Mace4 参考手册和指南
DOI：
10.2172/822574
发表时间：
2003
期刊：
ArXiv
影响因子：
--
作者：
W. McCune
通讯作者：
W. McCune
合金的自动测试生成和突变测试
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：
--
发表时间：
2008
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Emina Torlak;F. Chang;D. Jackson
通讯作者：
D. Jackson