Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk. Specification-Based Testing Using Cause-Effect Graphs. Ann. Software Eng., 4:133-157, 1997.
@article{ParadkarTV97,
title = {Specification-Based Testing Using Cause-Effect Graphs},
author = {Amit M. Paradkar and Kuo-Chung Tai and Mladen A. Vouk},
year = {1997},
tags = {rule-based, testing, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/ParadkarTV97},
cites = {0},
citedby = {0},
journal = {Ann. Software Eng.},
volume = {4},
pages = {133-157},
}