Title：A pseudo-boolean technique for generating compact transition tests with all-output-propagation properties
Authors: Tsuyoshi Iwagaki, Mineo Kaneko
Jounrnals：Proc. IEEE International Symposium on Electronic Design, Test and Applications (DELTA '10)
Pages: 293-296
Published Month: 1
Published Year: 2010
Type: inproceedings
