共 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