Felix Rath, Daniel Schemmel, Klaus Wehrle. Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution. In Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC, EPIQ@CoNEXT 2018, Heraklion, Greece, December 4, 2018. pages 15-21, ACM, 2018. [doi]
Abstract is missing.