TY  - RPRT
TI  - Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results
AU  - Pedro Pinto
AU  - Rui Abreu
AU  - João M. P. Cardoso
PY  - 2015
UR  - https://arxiv.org/abs/1505.01878
ID  - 1505.01878
ER  -