SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

All Authors
JaeSeung Song; Cristian Cadar; Peter Pietzuch
Publication Venue
IEEE Transactions on Software Engineering (TSE)
Publication Date
2014
Attachment
symbexnet-tse14.pdf (699.55 KB)
Projects
SymNV
Short series title
TSE'14