Wei Sun, Lisong Xu, Sebastian G. Elbaum. Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. In Tevfik Bultan, Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. pages 79-89, ACM, 2017. [doi]
Abstract is missing.