High Quality Test Pattern Generation and Boolean Satisfiability - Eggersglüß, Stephan; Drechsler, Rolf (Springer US, 2012)