A Generic Preprocessor for Program Validation and Debugging | Publicación