Verification of Protocols Using Symbolic Execution.

Daniel Brand William H. Joyner Jr.

Published in: Comput. Networks (1978)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
data flow
test cases
simulated annealing algorithm
database systems
software systems
genetic algorithm
case study
high level
particle swarm optimization