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