@misc{indiciae761dc4ed152e,
  title = {Debug-Localize-Repair: A Symbiotic Construction for Heap Manipulations},
  author = {Sahil Verma and Subhajit Roy},
  year = {2022},
  url = {https://arxiv.org/abs/2011.13396},
  note = {Source identifier: 2011.13396}
}