Spirit: satisfiability problem implementation for redundancy identification and test generation.

Emil Gizdarski Hideo Fujiwara

Published in: Asian Test Symposium (2000)

Keyphrases

satisfiability problem
test generation
np complete
temporal logic
test cases
search algorithm
phase transition
design automation
sat problem
stochastic local search algorithms
mazurkiewicz traces
max sat
data sets
randomly generated
model checking
presburger arithmetic
database