Pramila Mouttappa, Stephane Maag, Ana R. Cavalli. Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Computer Networks, 57(15):2992-3008, 2013. [doi]
@article{MouttappaMC13,
title = {Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols},
author = {Pramila Mouttappa and Stephane Maag and Ana R. Cavalli},
year = {2013},
doi = {10.1016/j.comnet.2013.06.019},
url = {http://dx.doi.org/10.1016/j.comnet.2013.06.019},
researchr = {https://researchr.org/publication/MouttappaMC13},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {57},
number = {15},
pages = {2992-3008},
}