Login / Signup
Accurate QBF-based test pattern generation in presence of unknown values.
Stefan Hillebrecht
Michael A. Kochte
Dominik Erb
Hans-Joachim Wunderlich
Bernd Becker
Published in:
DATE (2013)
Keyphrases
</>
high accuracy
machine learning
high quality
computationally efficient
database
data sets
knowledge base
decision trees
attribute values