Login / Signup
Test pattern generation in presence of unknown values based on restricted symbolic logic.
Dominik Erb
Karsten Scheibler
Michael A. Kochte
Matthias Sauer
Hans-Joachim Wunderlich
Bernd Becker
Published in:
ITC (2014)
Keyphrases
</>
learning algorithm
modal logic
standard deviation
truth values
database
data sets
databases
information retrieval
search engine
high level
numerical data
logical framework
predicate logic
proof theory
sound and complete axiomatization