SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair
Open Access
- 12 April 2026
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 3761-3773
Abstract
No abstract availableFunding Information
- National Research Foundation of Korea (RS-2023-00213434)
- National Research Foundation of Korea (RS-2021-NR060080)
- National Research Foundation of Korea (RS-2024-00337414)
This publication has 51 references indexed in Scilit:
- Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications2023
- Speeding up constraint-based program repair using a search-based techniqueInformation and Software Technology, 2022
- BGNN4VD: Constructing Bidirectional Graph Neural-Network for Vulnerability DetectionInformation and Software Technology, 2021
- LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment Through Program Metrics2019
- On the Time Performance of Automated Fixes2019
- DirectFix: Looking for Simple Program Repairs2015
- Efficient and formal generalized symbolic executionAutomated Software Engineering, 2011
- Pex–White Box Test Generation for .NET2008
- Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems2006
- Generalized Symbolic Execution for Model Checking and Testing2003