An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. - Endri Kaja; Nicolas Gerlin; Bihan Zhao; Daniela Sanchez Lopera; Jad Al Halabi; Azam Sher Khan; Sebastian Prebeck; Dominik Stoffel; Wolfgang Kunz; Wolfgang Ecker (ISQED, 2024)