JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch. Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. In Haohong Wang, Jin Li, George N. Rouskas, Xiaobo Zhou, editors, Proceedings of 20th International Conference on Computer Communications and Networks, ICCCN 2011, Maui, Hawaii, July 31 - August 4, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.