Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing. - Minh Vu 003; Phuong Ha; Lisong Xu (INFOCOM Workshops, 2019)

Efficient systematic testing of network protocols with temporal uncertain events. - Minh Vu 003; Lisong Xu; Sebastian G. Elbaum; Wei Sun 044; Kevin Qiao (INFOCOM, 2019)

Efficient Correctness Testing of Linux Network Stack under Packet Dynamics. - Minh Vu 003; Phuong Ha; Lisong Xu (ICC, 2020)

TCP BBR in Cloud Networks: Challenges, Analysis, and Solutions. - Phuong Ha; Minh Vu 003; Tuan-Anh Le; Lisong Xu (ICDCS, 2021)

Symbolic ns-3 for Efficient Exhaustive Testing: Design, Implementation, and Simulations. - Jianfei Shao; Minh Vu 003; Mingrui Zhang; Asmita Jayswal; Lisong Xu (WNS3, 2022)

Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations. - Minh Vu 003; Lisong Xu; Sebastian G. Elbaum; Wei Sun 044; Kevin Qiao (ACM Trans. Model. Comput. Simul., 2022)

Scalable Verification of Multi-ACK Properties in Loss-Based Congestion Control Implementations. - Minh Vu 003; Hamid Bagheri; Lisong Xu; Wei Sun 044; Mingrui Zhang (ICNP, 2024)