Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou

Browse the full ICFEM paper archive.