共 50 条
- [3] AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, TACAS 2024, 2024, 14572 : 347 - 352
- [5] KLEEF: Symbolic Execution Engine (Competition Contribution) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 314 - 319
- [8] TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution) FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 530 - 534
- [10] Symbolic Pathfinder for SV-COMP (Competition Contribution) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT III, 2019, 11429 : 239 - 243