James H. Cross Kai-Hsiung Chang W. Homer Carlisle David B. Brown Expert System Assisted Test Data Generation for Software Branch Coverage. 279-295 1991 6 Data Knowl. Eng. db/journals/dke/dke6.html#CrossCCB91