A Pseudo-Boolean Technique for Generating Compact Transition Tests with All-Output-Propagation Properties.

Tsuyoshi Iwagaki Mineo Kaneko

Published in: DELTA (2010)

Keyphrases

integer linear programming
pseudo boolean
search algorithm
lower bound
cost function
orders of magnitude
constraint satisfaction
randomly generated
symmetry breaking
pseudo boolean constraints