@misc{indiciaed1fa9aec9266,
  title = {Strong Optimistic Solving for Dynamic Symbolic Execution},
  author = {Darya Parygina and Alexey Vishnyakov and Andrey Fedotov},
  year = {2022},
  doi = {10.1109/ivmem57067.2022.9983965},
  url = {https://arxiv.org/abs/2209.03710},
  note = {Source identifier: 2209.03710}
}