IEEE/ACM International Conference on Software Engineering

SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair

2026

IEEE/ACM International Conference on Software Engineering

Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries

2025

IEEE/ACM International Conference on Automated Software Engineering

Enhancing the Efficiency of Automated Program Repair via Greybox Analysis

2024

ACM International Symposium on Software Testing and Analysis

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs

2024

IEEE/ACM International Conference on Automated Software Engineering

LeakPair: Proactive Repairing of Memory Leaks in Single Page Web Applications

2023