Efficient decision ordering techniques for SAT-based test generation.

Mingsong Chen Xiaoke Qin Prabhat Mishra

Published in: DATE (2010)

Keyphrases

test generation
decision making
database
test cases
data sets
databases
state space
answer set programming
design automation