Phil Stocks, David A. Carrington. A Framework for Specification-Based Testing. IEEE Trans. Software Eng., 22(11):777-793, 1996. [doi]
@article{StocksC96,
title = {A Framework for Specification-Based Testing},
author = {Phil Stocks and David A. Carrington},
year = {1996},
url = {http://www.computer.org/tse/ts1996/e0777abs.htm},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/StocksC96},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {22},
number = {11},
pages = {777-793},
}