Automatic Test Pattern Generation Using Formal Verification and Fault Injection Methods Author(s): Jad Al Halabi, Endri Kaja, Wolfgang Ecker Download