Wei Sun, Lisong Xu, Sebastian Elbaum. SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics. In 2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015. pages 1-6, IEEE, 2015. [doi]
Abstract is missing.