Felipe Lalanne, Stephane Maag. Protocol Data Parts Inclusion in a Formal Passive Testing Approach. In 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011. pages 569-573, IEEE Computer Society, 2011. [doi]
@inproceedings{LalanneM11,
title = {Protocol Data Parts Inclusion in a Formal Passive Testing Approach},
author = {Felipe Lalanne and Stephane Maag},
year = {2011},
doi = {10.1109/WAINA.2011.21},
url = {http://dx.doi.org/10.1109/WAINA.2011.21},
tags = {protocol, testing, data-flow, systematic-approach},
researchr = {https://researchr.org/publication/LalanneM11},
cites = {0},
citedby = {0},
pages = {569-573},
booktitle = {25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, Singapore, March 22-25, 2011},
publisher = {IEEE Computer Society},
}