Fault-based test generation for cause-effect graphs

Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk. Fault-based test generation for cause-effect graphs. In Ann Gawman, Evelyn Kidd, Per-Åke Larson, editors, Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes. pages 495-504, IBM, 1993. [doi]

Abstract

Abstract is missing.