共 50 条
- [21] Correctness and Complexity Analysis to Simplify Large Type Network 2010 CMSA OVERALL UNITED PLANNING SYMPOSIUM (OUPS 2010), 2010, : 177 - 181
- [23] A Tool Which Mines Partial Execution Traces to Improve Static Analysis RUNTIME VERIFICATION, 2010, 6418 : 475 - 479
- [24] Injecting Execution Traces into a Model-Driven Framework for Program Analysis SOFTWARE TECHNOLOGIES: APPLICATIONS AND FOUNDATIONS, STAF 2017, 2018, 10748 : 3 - 13
- [25] The Concept of Stratified Sampling of Execution Traces 2011 IEEE 19TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC), 2011, : 225 - +
- [26] Lossless compaction of model execution traces SOFTWARE AND SYSTEMS MODELING, 2020, 19 (01): : 199 - 230
- [27] Multiscale Visual Comparison of Execution Traces 2013 IEEE 21ST INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC), 2013, : 53 - 62
- [28] Lossless compaction of model execution traces Software and Systems Modeling, 2020, 19 : 199 - 230
- [29] Aggressive dynamic execution of decoded traces JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 1999, 22 (01): : 65 - 75
- [30] Aggressive Dynamic Execution of Decoded Traces Journal of VLSI signal processing systems for signal, image and video technology, 1999, 22 : 65 - 75