@misc{indiciaec58e7abd7f0b,
  title = {Sthread: In-Vivo Model Checking of Multithreaded Programs},
  author = {Gene Cooperman and Martin Quinson},
  year = {2020},
  doi = {10.22152/programming-journal.org/2020/4/13},
  url = {https://arxiv.org/abs/2002.06223},
  note = {Source identifier: 2002.06223}
}