Florentin Ipate, Mike Holcombe. An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput., 13(2):67-91, 2002. [doi]
@article{IpateH02,
title = {An Integrated Refinement and Testing Method for Stream X-machines},
author = {Florentin Ipate and Mike Holcombe},
year = {2002},
doi = {10.1007/s002000100090},
url = {http://dx.doi.org/10.1007/s002000100090},
tags = {refinement, testing},
researchr = {https://researchr.org/publication/IpateH02},
cites = {0},
citedby = {0},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {13},
number = {2},
pages = {67-91},
}