Login / Signup
Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams.
Elke Salecker
Robert Reicherdt
Sabine Glesner
Published in:
ICST Workshops (2011)
Keyphrases
</>
test set
binary decision diagrams
training set
error rate
boolean functions
symbolic model checking
training data
test cases
test data
variable ordering
constraint satisfaction
general purpose
data sets
feature selection
data structure
constraint satisfaction problems