SPD: Automatically Test Unmodified Network Programs with Symbolic Packet Dynamics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wei Sun' in GoogleThis author has not been identified. Look up 'Lisong Xu' in GoogleThis author has not been identified. Look up 'Sebastian Elbaum' in Google

runs on WebDSL