Login / Signup
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.
JaeSeung Song
Cristian Cadar
Peter R. Pietzuch
Published in:
IEEE Trans. Software Eng. (2014)
Keyphrases
</>
symbolic execution
specification language
test generation
test data generation
static analysis
formal specification
source code
programming language
data flow
description language
high level
neural network
data sets
quality assurance
multi agent systems
simulated annealing algorithm
web services