Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.

Felix Rath Daniel Schemmel Klaus Wehrle

Published in: CoRR (2018)

Keyphrases

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