Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.

JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch

Browse the full ICCCN paper archive.