| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| High Quality Test Pattern Generation and Boolean Satisfiability | 978-1-4419-9975-7 (1-4419-9975-2) | 2012 | Rolf Drechsler |
| Test Pattern Generation using Boolean Proof Engines | 978-90-481-2359-9 (90-481-2359-3) | 2009 | Rolf Drechsler · Görschwin Fey · Daniel Tille |