共 82 条
[2]
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata
[J].
2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC),
2012,
:660-669
[4]
Ammann P., 2016, Introduction to software testing, DOI 10.1017/9781316771273
[6]
Is mutation an appropriate tool for testing experiments?
[J].
ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS,
2005,
:402-411
[7]
[Anonymous], 1990, P IFIP C APPROVING S
[8]
[Anonymous], 2012, GI JAHRESTAGUNG
[10]
Arrieta A., 2019, INF SOFTW TECHNOL