Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
复制标题
通过差异突变分析评估和改进静态分析工具
DOI：
10.1109/qrs54544.2021.00032
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Chen, Qihong
中科院分区：
文献类型：
--
作者：
Groce, Alex;Ahmed, Iftekhar;Feist, Josselin;Grieco, Gustavo;Gesi, Jiri;Meidani, Mehran;Chen, Qihong
登录
查看更多内容
迈向自动化基准管理系统
DOI：
--
发表时间：
2016
期刊：
SOAP@PLDI
影响因子：
--
作者：
Lisa Nguyen Quang Do;Michael Eichberg;E. Bodden
通讯作者：
E. Bodden
重要智能合约的实际缺陷是什么（以及我们如何找到它们）？
DOI：
--
发表时间：
2019
期刊：
Financial Cryptography
影响因子：
--
作者：
Alex Groce;Josselin Feist;Gustavo Grieco;Michael Colburn
通讯作者：
Michael Colburn
DOI：
10.1145/2889160.2889206
发表时间：
2016-05
期刊：
2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C)
影响因子：
--
作者：
Cristian Cadar;Alastair F. Donaldson
通讯作者：
Cristian Cadar;Alastair F. Donaldson
突变测试的工业应用：经验教训、挑战和研究方向
DOI：
--
发表时间：
2018
期刊：
International Conference on Software Testing, Verification and Validation Workshops
影响因子：
--
作者：
Goran Petrović;M. Ivankovic;Bob Kurtz;P. Ammann;René Just
通讯作者：
René Just
软件测试人员是否应该使用突变分析来增强测试集？
影响因子：
3.5
作者：
Benjamin H. Smith;L. Williams
通讯作者：
L. Williams