Testing computability by width-two OBDDs.

Dana Ron Gilad Tsur

Published in: Theor. Comput. Sci. (2012)

Keyphrases

test set
database
databases
model checking
information retrieval
image processing
decision trees
case study
data structure
software development
test cases
test data