Constructing Test Sets for Pairwise Testing: A SAT-Based Approach.
Toru NanbaTatsuhiro TsuchiyaTohru KikunoPublished in: ICNC (2011)
Keyphrases
- test set
- pairwise
- error rate
- test cases
- test data
- training set
- training data
- sat solvers
- semi supervised
- higher order
- markov random field
- similarity measure
- evaluation methodology
- multi class
- satisfiability problem
- propositional satisfiability
- similarity function
- sat problem
- pairwise interactions
- max sat
- data sets
- data mining
- search strategies
- supervised learning
- support vector machine
- image processing
- boolean satisfiability