Mercedes G. Merayo, Alberto Núñez. Passive testing of communicating systems with timeouts. Information \& Software Technology, 64:19-35, 2015. [doi]
@article{MerayoN15,
title = {Passive testing of communicating systems with timeouts},
author = {Mercedes G. Merayo and Alberto Núñez},
year = {2015},
doi = {10.1016/j.infsof.2015.03.009},
url = {http://dx.doi.org/10.1016/j.infsof.2015.03.009},
researchr = {https://researchr.org/publication/MerayoN15},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {64},
pages = {19-35},
}