Carmela Noro Grando, Carlos Arthur Lang Lisbôa, Alvaro Freitas Moreira, Luigi Carro. Invariant checkers: An efficient low cost technique for run-time transient errors detection. In 15th IEEE International On-Line Testing Symposium (IOLTS 2009), 24-26 June 2009, Sesimbra-Lisbon, Portugal. pages 35-40, IEEE, 2009. [doi]
Abstract is missing.