Sign in
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.
Hooman Asadian
Paul Fiterau-Brostean
Bengt Jonsson
Konstantinos Sagonas
Published in:
ICST (2022)
Keyphrases
</>
symbolic execution
test generation
test data generation
specification language
test cases
software testing
static analysis
database
simulated annealing algorithm
real world
case study
high level
formal specification
test suite