Enhancing Conformance Testing Using Symbolic Execution for Network Protocols.

Jaeseung Song Hyoungshick Kim Soojin Park

Published in: IEEE Trans. Reliab. (2015)

Keyphrases

symbolic execution
network protocols
test generation
test data generation
static analysis
source code
test cases
specification language
data flow
artificial neural networks
open source
software development
smart grid
simulated annealing algorithm