@misc{indiciaebfbcf4b78396,
  title = {An Annotation-based Approach for Finding Bugs in Neural Network Programs},
  author = {Mohammad Rezaalipour and Carlo A. Furia},
  year = {2023},
  doi = {10.1016/j.jss.2023.111669},
  url = {https://arxiv.org/abs/2112.05567},
  note = {Source identifier: 2112.05567}
}