Cited By
View all- Sun WXu LElbaum SZhao D(2021)Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP ImplementationsIEEE/ACM Transactions on Networking10.1109/TNET.2021.307816129:5(1990-2004)Online publication date: Oct-2021
- Sun WXu LElbaum SZhao DLorch JYu M(2019)Model-agnostic and efficient exploration of numerical state space of real-world TCP congestion control implementationsProceedings of the 16th USENIX Conference on Networked Systems Design and Implementation10.5555/3323234.3323292(719-733)Online publication date: 26-Feb-2019
- Sun WXu LElbaum SBultan TSen K(2017)Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamicsProceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3092703.3092706(79-89)Online publication date: 10-Jul-2017
- Show More Cited By