Fault-based test generation for cause-effect graphs. - Kuo-Chung Tai; Amit M. Paradkar; Hsun-Kang Su; Mladen A. Vouk (CASCON, 1993)