BDD-FTEST: Fast, Backtrack-Free Test Generator Based on Binary Decision Diagram Representation.

Bechir Ayari Bozena Kaminska

Published in: ISCAS (1995)

Keyphrases

binary decision diagrams
boolean functions
planning problems
decision diagrams
model checking
knowledge compilation
database
boolean formula
relational databases
search tree
uniform distribution