This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-05-02
Creation time: 07-49-30
--- Number of references
1
proceedings
2018-QuicTesting
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
2018
12
4
erc,symbiosys
https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rath-quictesting.pdf
https://dl.acm.org/citation.cfm?id=3284853
https://arxiv.org/abs/1811.12099
ACM
Heraklion, Greece
EPIQ'18 Workshop Paper
4.12.2018
en
978-1-4503-6082-1
10.1145/3284850.3284853
1
FelixRath
DanielSchemmel
KlausWehrle