[{"author":[{"id":"72582","full_name":"Kummita, Sriteja","first_name":"Sriteja","last_name":"Kummita"},{"id":"55745","full_name":"Schiebel, Fabian Benedikt","orcid":"0009-0008-6867-9802","last_name":"Schiebel","first_name":"Fabian Benedikt"},{"id":"59256","full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647"},{"full_name":"Miao, Miao","first_name":"Miao","last_name":"Miao"},{"first_name":"Shiyi","last_name":"Wei","full_name":"Wei, Shiyi"}],"year":"2026","title":"Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study","status":"public","publication_status":"published","date_updated":"2026-07-10T08:17:20Z","language":[{"iso":"eng"}],"_id":"66429","publisher":"IEEE","user_id":"15249","doi":"10.1109/saner67736.2026.00114","citation":{"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>.","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} }","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>.","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>.","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."},"publication":"2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","date_created":"2026-07-10T08:16:53Z","department":[{"_id":"76"}],"type":"conference"}]