Kirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak. Testing methods for X-machines: a review. Formal Asp. Comput., 18(1):3-30, 2006. [doi]
@article{BogdanovHISV06,
title = {Testing methods for X-machines: a review},
author = {Kirill Bogdanov and Mike Holcombe and Florentin Ipate and L. Seed and Salim K. Vanak},
year = {2006},
doi = {10.1007/s00165-005-0085-6},
url = {http://dx.doi.org/10.1007/s00165-005-0085-6},
tags = {testing, reviewing},
researchr = {https://researchr.org/publication/BogdanovHISV06},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {18},
number = {1},
pages = {3-30},
}