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

By admin , 26 March 2016
Attachment
symbexnet-tse14.pdf (699.55 KB)
Projects
SymNV
Short series title
TSE'14