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