@misc{indiciae5fec46d4732f,
  title = {Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results},
  author = {Pedro Pinto and Rui Abreu and João M. P. Cardoso},
  year = {2015},
  url = {https://arxiv.org/abs/1505.01878},
  note = {Source identifier: 1505.01878}
}