Arun Arvind Nair, Lizy Kurian John and Lieven EeckhoutAVF stressmark : towards an automated methodology for bounding the worst-case vulnerability to soft errors MICRO-43 : proceedings of the 43rd Annual IEEE/ACM international symposium on microarchitecture, pp. 125-136 (2010)