2013 14th Latin American Test Workshop - LATW
PASSAT 2.0: A multi-functional SAT-based testing framework
DOI Bookmark: 10.1109/LATW.2013.6562675
Authors
Rolf Drechsler, Institute of Computer Science, University of Bremen, 28359, GermanyMelanie Diepenbeck, Institute of Computer Science, University of Bremen, 28359, Germany
Stephan Eggersglüß, Institute of Computer Science, University of Bremen, 28359, Germany
Robert Wille, Institute of Computer Science, University of Bremen, 28359, Germany