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]
Abstract is missing.