@inproceedings{66429,
  author       = {{Kummita, Sriteja and Schiebel, Fabian Benedikt and Bodden, Eric and Miao, Miao and Wei, Shiyi}},
  booktitle    = {{2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}},
  publisher    = {{IEEE}},
  title        = {{{Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study}}},
  doi          = {{10.1109/saner67736.2026.00114}},
  year         = {{2026}},
}