Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
S. Kummita, F.B. Schiebel, E. Bodden, M. Miao, S. Wei, in: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026.
Download
No fulltext has been uploaded.
Conference Paper
| Published
| English
Author
Kummita, SritejaLibreCat;
Schiebel, Fabian BenediktLibreCat 
;
Bodden, EricLibreCat ;
Miao, Miao;
Wei, Shiyi
;
Bodden, EricLibreCat ;
Miao, Miao;
Wei, ShiyiPublishing Year
Proceedings Title
2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)
LibreCat-ID
Cite this
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE; 2026. doi:10.1109/saner67736.2026.00114
Kummita, S., Schiebel, F. B., Bodden, E., Miao, M., & Wei, S. (2026). Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). https://doi.org/10.1109/saner67736.2026.00114
@inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={10.1109/saner67736.2026.00114}, booktitle={2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, publisher={IEEE}, author={Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}, year={2026} }
Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” In 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2026. https://doi.org/10.1109/saner67736.2026.00114.
S. Kummita, F. B. Schiebel, E. Bodden, M. Miao, and S. Wei, “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study,” 2026, doi: 10.1109/saner67736.2026.00114.
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026, doi:10.1109/saner67736.2026.00114.
Google Scholar