[{"user_id":"15249","doi":"10.1109/saner67736.2026.00114","_id":"66833","language":[{"iso":"eng"}],"publisher":"IEEE","publication_status":"published","date_updated":"2026-08-24T12:02:13Z","year":"2026","status":"public","title":"Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study","author":[{"first_name":"Sriteja","last_name":"Kummita","full_name":"Kummita, Sriteja","id":"72582"},{"id":"55745","full_name":"Schiebel, Fabian Benedikt","first_name":"Fabian Benedikt","last_name":"Schiebel","orcid":"0009-0008-6867-9802"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden"},{"first_name":"Miao","last_name":"Miao","full_name":"Miao, Miao"},{"first_name":"Shiyi","last_name":"Wei","full_name":"Wei, Shiyi"}],"type":"conference","department":[{"_id":"76"}],"date_created":"2026-08-24T12:01:56Z","publication":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","citation":{"short":"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.","chicago":"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>.","apa":"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>","ieee":"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>.","ama":"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>","bibtex":"@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} }","mla":"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>."}}]