SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics.

Wei Sun, Lisong Xu, Sebastian G. Elbaum

Browse the full GLOBECOM paper archive.