共 97 条
- [31] Dynamic partial-order reduction for model checking software [J]. ACM SIGPLAN NOTICES, 2005, 40 (01) : 110 - 121
- [32] Godefroid P, 1996, LECT NOTES COMPUT SC, V1032, P11
- [33] Godefroid Patrice, 2008, Network and Distributed Systems Security, V8, P151
- [34] Grosse D, 2010, QUALITY-DRIVEN SYSTEMC DESIGN, P1, DOI 10.1007/978-90-481-3631-5
- [35] Grosse Daniel, 2010, 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), P113, DOI 10.1109/MEMCOD.2010.5558643
- [37] Functional Coverage-Driven Characterization of RF Amplifiers [J]. PROCEEDINGS OF THE 2019 FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2019,
- [38] Hassan M, 2017, DES AUT TEST EUROPE, P380, DOI 10.23919/DATE.2017.7927020
- [39] Hedin Daniel, 2012, Software safety and security, V33, P319
- [40] Herber P., 2008, INT C HARDW SOFTW CO, P131