Artifact for "Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study"

Zenodo (CERN European Organization for Nuclear Research) 2026 Dataset Open access

Read full text
Authors: Sriteja Kummita, Fabian Schiebel, Miao, Miao, Eric Bodden, Shiyi Wei
DOI: 10.5281/zenodo.18275916
Cited by: 0

Abstract

This artifact contains the source code and experiment data for the paper titled "Static Analysis Traces can help Dynamic Symbolic Execution: a Replication Study" published in SANER 2026. Please refer to the Readme.md in the artifact for detailed information.

Fields of Study & Subjects

Software Testing and Debugging Techniques Software Engineering Research Logic programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
17 January 2026
Document type
Dataset