Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)
Year: 2025
Type: conference-paper
Authors: Yihua Xu, Chengyu Zhang, Geguang Pu
Institutions: East China Normal University, Loughborough University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4411088263