Ahmed Sobeih Mahesh Viswanathan Darko Marinov Jennifer C. Hou Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. 235-250 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_17 db/conf/icfem/icfem2005.html#SobeihVMH05