Test Pattern Generation using Boolean Proof Engines

Generation

by: Rolf Drechsler · Stephan Eggersglüß · Görschwin Fey · Daniel Tille

Hardcover

ISBN: 978-90-481-2359-9

ISBN-10: 90-481-2359-3

Springer · 2009

See also:
2010PaperbackTest Pattern Generation using Boolean Proof Engines