Login / Signup
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