共 50 条
- [2] Execution Replay for Multiprocessor Virtual Machines VEE'08: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS, 2008, : 121 - 130
- [3] Search-Based Concolic Execution for SW Vulnerability Discovery IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2018, E101D (10): : 2526 - 2529
- [4] Efficient execution of UML state machines on a virtual machine 8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 209 - 213
- [5] Execution replay of the entire operating system based on virtual machine Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology, 2010, 36 (SUPPL. 2): : 134 - 141
- [6] Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 892 - 902
- [7] Efficient Search-Based Weighted Model Integration 35TH UNCERTAINTY IN ARTIFICIAL INTELLIGENCE CONFERENCE (UAI 2019), 2020, 115 : 175 - 185
- [8] Differentiable Architecture Search-Based Automatic Modulation Classification 2021 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), 2021,
- [9] Combining Search-based Testing and Dynamic Symbolic Execution by Evolvability Metric PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2018, : 59 - 68
- [10] FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution TESTING SOFTWARE AND SYSTEMS, 2010, 6435 : 142 - +