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