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

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)