@misc{indiciaee8797a232cda,
  title = {A shallow dive into the depths of non-termination checking for C programs},
  author = {Ravindra Metta and Hrishikesh Karmarkar and Kumar Madhukar and R Venkatesh and Supratik Chakraborty and Samarjit Chakraborty},
  year = {2024},
  url = {https://arxiv.org/abs/2409.12985},
  note = {Source identifier: 2409.12985}
}