conference paper published Sriteja Kummita author 72582 Fabian Benedikt Schiebel author 557450009-0008-6867-9802 Eric Bodden author 592560000-0003-3470-3647 Miao Miao author Shiyi Wei author 76 department IEEE2026 eng 10.1109/saner67736.2026.00114 Kummita, Sriteja, Fabian Benedikt Schiebel, Eric Bodden, Miao Miao, and Shiyi Wei. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” In <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE, 2026. <a href="https://doi.org/10.1109/saner67736.2026.00114">https://doi.org/10.1109/saner67736.2026.00114</a>. 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. 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: <a href="https://doi.org/10.1109/saner67736.2026.00114">10.1109/saner67736.2026.00114</a>. Kummita, S., Schiebel, F. B., Bodden, E., Miao, M., &#38; Wei, S. (2026). Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. <a href="https://doi.org/10.1109/saner67736.2026.00114">https://doi.org/10.1109/saner67736.2026.00114</a> @inproceedings{Kummita_Schiebel_Bodden_Miao_Wei_2026, title={Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}, DOI={<a href="https://doi.org/10.1109/saner67736.2026.00114">10.1109/saner67736.2026.00114</a>}, 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 S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. IEEE; 2026. doi:<a href="https://doi.org/10.1109/saner67736.2026.00114">10.1109/saner67736.2026.00114</a> Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” <i>2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, IEEE, 2026, doi:<a href="https://doi.org/10.1109/saner67736.2026.00114">10.1109/saner67736.2026.00114</a>. 664292026-07-10T08:16:53Z2026-07-10T08:17:20Z