AVF Stressmark: Towards an Automated Methodology for Bounding the Worst-Case Vulnerability to Soft Errors | IEEE Conference Publication | IEEE Xplore