Computational verification of C protocol implementations by symbolic execution.

Mihhail Aizatulin Andrew D. Gordon Jan Jürjens

Published in: CCS (2012)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
test cases
cryptographic protocols
formal analysis
artificial intelligence
software systems
monitoring system
protocol specification
databases
software testing
pattern matching
error rate