Accurate profiling of oracles for self-checking time-constrained embedded software. - Simone Bronuzzi; Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli (HLDVT, 2012)