Martin D. Davis, Elaine J. Weyuker. A Formal Notion of Program-Based Test Data Adequacy. Inf. Comput., 56(1/2):52-71, January/February 1983.
@article{DavisW83,
title = {A Formal Notion of Program-Based Test Data Adequacy},
author = {Martin D. Davis and Elaine J. Weyuker},
year = {1983},
month = {January/February},
tags = {rule-based, testing, data-flow programming, data-flow},
researchr = {https://researchr.org/publication/DavisW83},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {56},
number = {1/2},
pages = {52-71},
}