Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics.

Wei Sun, Lisong Xu, Sebastian G. Elbaum

Browse the full ISSTA paper archive.