共 57 条
- [31] COMPI: Concolic Testing for MPI Applications [J]. 2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2018, : 865 - 874
- [32] Lin B, 2018, INT SYM QUAL ELECT, P1, DOI 10.1109/ISQED.2018.8357256
- [34] An Architecture for Accountable Anonymous Access in the Internet-of-Things Network [J]. IEEE ACCESS, 2018, 6 : 14451 - 14461
- [35] Majumdar R, 2007, PROC INT CONF SOFTW, P416
- [36] Matsuda W, 2019, 2019 IEEE CONFERENCE ON APPLICATION, INFORMATION AND NETWORK SECURITY (AINS), P54, DOI [10.1109/ains47559.2019.8968698, 10.1109/AINS47559.2019.8968698]
- [37] McAfee Patrick, 2017, 2017 IEEE/ACM 4th International Conference on Mobile Software Engineering and Systems (MOBILESoft). Proceedings, P213, DOI 10.1109/MOBILESoft.2017.35
- [38] Perera I, 2018, IEEE INT CONF BIG DA, P3001, DOI 10.1109/BigData.2018.8622106
- [39] Pinto Sonal, 2017, P IEEE INT TEST C IT, P1
- [40] A Case Study of Concolic Testing Tools and Their Limitations [J]. 2011 FIFTH INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT (ESEM 2011), 2011, : 117 - 126