Automatic Test Pattern Generation Using Formal Verification and Fault Injection Methods

Author(s):
Jad Al Halabi, Endri Kaja, Wolfgang Ecker