@misc{indiciaed6c2cc52b529,
  title = {Using Dynamic Binary Instrumentation to Detect Failures in Robotics Software},
  author = {Deborah S. Katz and Christopher S. Timperley and Claire Le Goues},
  year = {2022},
  url = {https://arxiv.org/abs/2201.12464},
  note = {Source identifier: 2201.12464}
}