{"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":{"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>.","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>."},"doi":"10.1109/saner67736.2026.00114","user_id":"15249","publisher":"IEEE","_id":"66833","language":[{"iso":"eng"}],"date_updated":"2026-08-24T12:02:13Z","publication_status":"published","title":"Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study","year":"2026","status":"public","author":[{"full_name":"Kummita, Sriteja","last_name":"Kummita","first_name":"Sriteja","id":"72582"},{"id":"55745","full_name":"Schiebel, Fabian Benedikt","orcid":"0009-0008-6867-9802","first_name":"Fabian Benedikt","last_name":"Schiebel"},{"first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"full_name":"Miao, Miao","last_name":"Miao","first_name":"Miao"},{"first_name":"Shiyi","last_name":"Wei","full_name":"Wei, Shiyi"}]}