Reihe Design, Test and Verification of Embedded SystemsAlexander Czutro × Efficiency and Applications of SAT-Based Test Pattern Generation - Complex fault models and optimisation problems.Design, Test and Verification of Embedded Systems Vol. 3Alexander CzutroDer Andere VerlagBuch2013