Testing Computability by Width-Two OBDDs.

Dana Ron Gilad Tsur

Published in: Electron. Colloquium Comput. Complex. (2011)

Keyphrases

boolean functions
information systems
databases
machine learning
information technology
relational databases
model checking
ordered binary decision diagrams
real time
data sets
real world
mobile robot
software development
test set
test cases
software testing