Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.

Felix Rath Daniel Schemmel Klaus Wehrle

Published in: EPIQ@CoNEXT (2018)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
test cases
data flow
information systems
web services
metadata
databases
software testing
simulated annealing algorithm
database