Generating minimal test set satisfying MC/DC criterion via SAT based approach.

Ling Yang Jun Yan Jian Zhang

Published in: SAC (2018)

Keyphrases

test set
error rate
training set
test data
evaluation methodology
satisfiability problem
training data
search algorithm
test cases
sat solvers
training and test sets
data mining
propositional satisfiability
max sat
sat problem
class distribution
phase transition
feature selection
computer vision