共 57 条
[1]
mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines
[J].
34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019),
2019,
:1182-1185
[2]
Ahmed A, 2018, DES AUT TEST EUROPE, P1538, DOI 10.23919/DATE.2018.8342260
[3]
QUEBS: Qualifying Event Based Search in Concolic Testing for Validation of RTL Models
[J].
2017 IEEE 35TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD),
2017,
:185-192
[4]
Ai Gu, 2018, 2018 IEEE International Conference on Information and Automation (ICIA). Proceedings, P1669, DOI 10.1109/ICInfA.2018.8812335
[8]
Automatically Generating Search Heuristics for Concolic Testing
[J].
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE),
2018,
:1244-1254
[10]
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems
[J].
2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC),
2019,
:363-370