A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Validation of a software dependability tool via fault injection experiments
Proceedings Seventh International On-Line Testing Workshop
Preserved Fulltext
The present paper presents the validation of the strategies employed in the RECCO tool to analyze a C/C++ software; the RECCO compiler scans C/C++ source code to extract information about the significance of the variables that populate the program and the code structure itself. Experimental results gathered on an Open Source Router are used to compare and correlate two sets of critical variables, one obtained by fault injection experiments, and the other applying the RECCO tool, respectively.
doi:10.1109/olt.2001.937809
dblp:conf/iolts/BensoCNTP01
fatcat:jbz4lmsjejeethpv7tger6jbrm