× Efficiency and Applications of SAT-Based Test Pattern Generation - Complex fault models and optimisation problems.Design, Test and Verification of Embedded Systems Vol. 3von Alexander Czutro39 Abb., 39Tab.