Demo Abstract: Exploring packet dynamics through the combination of symbolic execution and random testing.

Minh Vu, Phuong Ha, Lisong Xu

Browse the full INFOCOM paper archive.