Login / Signup
Applying MCDC to Large DNF Logic Expressions.
Garrett Kent Kaminski
Paul Ammann
Published in:
Software Engineering Research and Practice (2010)
Keyphrases
</>
boolean functions
learning algorithm
facial expressions
learning theory
modal logic
disjunctive normal form
logic programming
neural network
rough sets
uniform distribution
automated reasoning
membership queries
multi valued
classical logic
computational properties
predicate logic