Minh Vu, Phuong Ha, Lisong Xu. Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing. In IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2019, Paris, France, April 29 - May 2, 2019. pages 951-952, IEEE, 2019. [doi]
@inproceedings{VuHX19,
title = {Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing},
author = {Minh Vu and Phuong Ha and Lisong Xu},
year = {2019},
doi = {10.1109/INFCOMW.2019.8845176},
url = {https://doi.org/10.1109/INFCOMW.2019.8845176},
researchr = {https://researchr.org/publication/VuHX19},
cites = {0},
citedby = {0},
pages = {951-952},
booktitle = {IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2019, Paris, France, April 29 - May 2, 2019},
publisher = {IEEE},
isbn = {978-1-7281-1878-9},
}