C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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