@misc{indiciae9221eff74cb4,
  title = {Symbolic Partial-Order Execution for Testing Multi-Threaded Programs},
  author = {Daniel Schemmel and Julian Büning and César Rodríguez and David Laprell and Klaus Wehrle},
  year = {2020},
  doi = {10.1007/978-3-030-53288-8\_18},
  url = {https://arxiv.org/abs/2005.06688},
  note = {Source identifier: 2005.06688}
}