Felipe Lalanne, Stephane Maag. A Formal Data-Centric Approach for Passive Testing of Communication Protocols. IEEE/ACM Trans. Netw., 21(3):788-801, 2013. [doi]
@article{LalanneM13,
title = {A Formal Data-Centric Approach for Passive Testing of Communication Protocols},
author = {Felipe Lalanne and Stephane Maag},
year = {2013},
doi = {10.1109/TNET.2012.2210443},
url = {http://dx.doi.org/10.1109/TNET.2012.2210443},
researchr = {https://researchr.org/publication/LalanneM13},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Netw.},
volume = {21},
number = {3},
pages = {788-801},
}