SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum (GLOBECOM, 2015)

Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum (ISSTA, 2017)

Limitations of Emulating Realistic Network Environments for Correctness Testing of Internet Applications. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum (ICC, 2018)

Scalably Testing Congestion Control Algorithms of Real-World TCP Implementations. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum (ICC, 2018)

A Novel Timestamping Mechanism for Clouds and Its Application on Available Bandwidth Estimation. - Phuong Ha; Ertong Zhang; Wei Sun 044; Felix Cui; Lisong Xu (ICDCS, 2019)

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

Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum; Di Zhao (NSDI, 2019)

Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP Implementations. - Wei Sun 044; Lisong Xu; Sebastian G. Elbaum; Di Zhao (IEEE/ACM Trans. Netw., 2021)

Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations. - Minh Vu; 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; Hamid Bagheri; Lisong Xu; Wei Sun 044; Mingrui Zhang (ICNP, 2024)