Amit M. Paradkar Kuo-Chung Tai Mladen A. Vouk Specification-Based Testing Using Cause-Effect Graphs. 133-157 1997 4 Ann. Software Eng. db/journals/ansoft/ansoft4.html#ParadkarTV97