An efficient vulnerability-driven method for hardening a program against soft-error using genetic algorithm. (November 2015)