REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)
REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track)
复制标题
REACH：按尺寸精炼合金场景（工具和神器轨道）
DOI：
10.1109/issre55969.2022.00031
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Sullivan, Allison
中科院分区：
文献类型：
--
作者：
Jovanovic, Ana;Sullivan, Allison
登录
查看更多内容
DOI：
10.1007/978-3-030-45234-6_2
发表时间：
2020-03-13
期刊：
Fundamental Approaches to Software Engineering
影响因子：
--
作者：
Zheng G;Bagheri H;Rothermel G;Wang J
通讯作者：
Wang J
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：
10.1145/3240765.3240848
发表时间：
2018-11
期刊：
2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
影响因子：
--
作者：
Rafael Dutra;J. Bachrach;Koushik Sen
通讯作者：
Rafael Dutra;J. Bachrach;Koushik Sen
合金的自动测试生成和突变测试
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.1016/j.dam.2005.10.018
发表时间：
2001
期刊：
Discret. Appl. Math.
影响因子：
--
作者：
I. Shlyakhter
通讯作者：
I. Shlyakhter