Minh Vu, Lisong Xu, Sebastian G. Elbaum, Wei Sun, Kevin Qia. Efficient systematic testing of network protocols with temporal uncertain events. In 2019 IEEE Conference on Computer Communications, INFOCOM 2019, Paris, France, April 29 - May 2, 2019. pages 604-612, IEEE, 2019. [doi]
Abstract is missing.