| Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics W Sun, L Xu, S Elbaum Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 19 | 2017 |
| Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations W Sun, L Xu, S Elbaum, D Zhao 16th {USENIX} Symposium on Networked Systems Design and Implementation …, 2019 | 16 | 2019 |
| Scalably testing congestion control algorithms of real-world TCP implementations W Sun, L Xu, S Elbaum 2018 IEEE International Conference on Communications (ICC), 1-7, 2018 | 16 | 2018 |
| On delay-tolerant networking and its application W Sun, C Liu, D Wang International Conference on Computer Science and Information Technology …, 2012 | 15 | 2012 |
| SPD: Automatically test unmodified network programs with symbolic packet dynamics W Sun, L Xu, S Elbaum 2015 IEEE Global Communications Conference (GLOBECOM), 1-6, 2015 | 12 | 2015 |
| Efficient systematic testing of network protocols with temporal uncertain events M Vu, L Xu, S Elbaum, W Sun, K Qia IEEE INFOCOM 2019-IEEE Conference on Computer Communications, 604-612, 2019 | 9 | 2019 |
| A Novel Timestamping Mechanism for Clouds and Its Application on Available Bandwidth Estimation PH , Ertong Zhang, Wei Sun, Felix Cui, Lisong Xu 2019 IEEE 39th International Conference on Distributed Computing Systems …, 2019 | 7 | 2019 |
| Limitations of emulating realistic network environments for correctness testing of internet applications W Sun, L Xu, S Elbaum 2018 IEEE International Conference on Communications (ICC), 1-6, 2018 | 7 | 2018 |
| Research on congestion management in delay-tolerant networks W Sun, Q Liu, K Li INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY …, 2012 | 4 | 2012 |
| Efficient Protocol Testing Under Temporal Uncertain Event Using Discrete-event Network Simulations M Vu, L Xu, S Elbaum, W Sun, K Qiao ACM Transactions on Modeling and Computer Simulation (TOMACS) 32 (2), 1-30, 2022 | 3 | 2022 |
| Model-agnostic and efficient exploration of numerical congestion control state space of real-world TCP implementations W Sun, L Xu, S Elbaum, D Zhao IEEE/ACM Transactions on Networking 29 (5), 1990-2004, 2021 | 2 | 2021 |
| Automated Testing of Network Protocol Implementations Under Packet Dynamics W Sun The University of Nebraska-Lincoln, 2017 | 1 | 2017 |
