An Improved Algorithm for Deriving Checking Experiments. - Robert D. Braun; Donald D. Givone (IEEE Trans. Computers, 1979)

A Generalized Algorithm for Constructing Checking Sequences. - Robert D. Braun; Donald D. Givone (IEEE Trans. Computers, 1981)