Automatic Test Pattern Generation with Branch Testing. - Rafic Z. Makki; Silvio Bou-Ghazale; Chen Tianshang (IEEE Trans. Computers, 1991)