Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results

Pedro Pinto, Rui Abreu, João M. P. Cardoso

This technical report presents the work done as part of the AutoSeer project. Our work in this project was to develop a source-to-source compiler, MANET, for the C language that co…