共 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
[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 S., 2017, PROCEEDING IEEE INT, 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