Summary and Outlook

High Quality Test Pattern Generation and Boolean Satisfiability ◽

10.1007/978-1-4419-9976-4_9 ◽

2012 ◽

pp. 181-182

Author(s):

Stephan Eggersglüß ◽

Rolf Drechsler

Download Full-text