Learning to Optimize the Alloy Analyzer

Learning to Optimize the Alloy Analyzer
复制标题

学习优化合金分析仪

DOI:
10.1109/icst.2019.00031
复制
发表时间:
2019
期刊:
Validation and Verification (ICST
影响因子:
--
通讯作者:
Khurshid, Sarfraz
Khurshid, Sarfraz
中科院分区:
--
文献类型:
--
作者:
Wang, Wenxi;Wang, Kaiyuan;Zhang, Mengshi;Khurshid, Sarfraz

文献摘要

参考文献

被引文献

相似文献

AUnit:合金测试自动化工具
DOI: 10.1109/icst.2018.00047
发表时间: 2018
期刊: ICST Tool 2018
影响因子: --
作者:
Sullivan, Allison;Wang, Kaiyuan;Khurshid, Sarfraz
通讯作者: Khurshid, Sarfraz
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
ARepair:合金修复框架
DOI: 10.1109/icse-companion.2019.00049
发表时间: 2019
期刊: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
影响因子: --
作者:
Kaiyuan Wang;Allison Sullivan;S. Khurshid
通讯作者: S. Khurshid
DOI: 10.1109/issre5003.2020.00044
发表时间: 2018-07
期刊: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)
影响因子: --
作者:
Kaiyuan Wang;Allison Sullivan;D. Marinov;S. Khurshid
通讯作者: Kaiyuan Wang;Allison Sullivan;D. Marinov;S. Khurshid
合金的自动测试生成和突变测试
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