RR Database
Database ▾
Log inSign up
← Back to browse

Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution: A Potential Approach for True Positive Confirmation (Registered Report)

No Stage 1 found
ArticleSuggest edit
AuthorsYihua XuChengyu ZhangOAGeguang PuOA
Year2025
VenueProceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis
DOI10.1145/3713081.3731720
URLhttps://doi.org/10.1145/3713081.3731720
Item typeJournal Article

Tags

auto-addedsource:openalexsource:scholar
OpenAlex IDhttps://openalex.org/W4411088263
i