Interoperability-guided testing of QUIC implementations using symbolic execution

Felix Rath, Daniel Schemmel, Klaus Wehrle
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC
Heraklion, Greece
Association for Computing Machinery
New York, NY, USA
Pages 15-21
Note(s): QUIC protocol, symbolic execution, KLEE verifier, Z3 solver
Papers: mcmillan:sigcomm:2019