Provable Improvements on Branch Testing

Phyllis G. Frankl, Elaine J. Weyuker. Provable Improvements on Branch Testing. IEEE Trans. Software Eng., 19(10):962-975, 1993. [doi]

Abstract

Abstract is missing.