A source-to-source compiler for generating dependable software (2001)

by M Rebaudengo, M S Reorda, M Violante, M Torchiano
Venue:In IEEE International Workshop on Source Code Analysis and Manipulation