Braun, Robert D.; Givone, Donald D. A generalized algorithm for constructing checking sequences. (English) Zbl 0455.94052 IEEE Trans. Comput. 30, 141-144 (1981). MSC: 94C12 68Q45 PDF BibTeX XML Cite \textit{R. D. Braun} and \textit{D. D. Givone}, IEEE Trans. Comput. 30, 141--144 (1981; Zbl 0455.94052) Full Text: DOI
Braun, Robert D.; Givone, Donald D. An improved algorithm for deriving checking experiments. (English) Zbl 0393.94047 IEEE Trans. Comput. 28, 153-156 (1979). MSC: 94C99 68Q45 PDF BibTeX XML Cite \textit{R. D. Braun} and \textit{D. D. Givone}, IEEE Trans. Comput. 28, 153--156 (1979; Zbl 0393.94047) Full Text: DOI