JaeSeung Song Tiejun Ma Cristian Cadar Peter Pietzuch Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. 1-8 2011 ICCCN http://dx.doi.org/10.1109/ICCCN.2011.6005945 conf/icccn/2011 db/conf/icccn/icccn2011.html#SongMCP11