Using likely program invariants to detect hardware errors.

Swarup Kumar Sahoo Man-Lap Li Pradeep Ramachandran Sarita V. Adve Vikram S. Adve Yuanyuan Zhou Using likely program invariants to detect hardware errors. 70-79 2008 DSN http://dx.doi.org/10.1109/DSN.2008.4630072 conf/dsn/2008 db/conf/dsn/dsn2008.html#SahooLRAAZ08