% 
% This file was created by the TYPO3 extension
% bib
% --- Timezone: CEST
% Creation date: 2024-05-02
% Creation time: 06-46-55
% --- Number of references
% 1
% 

@Proceedings { 2018-QuicTesting,
   title = {Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution},
   year = {2018},
   month = {12},
   day = {4},
   tags = {erc,symbiosys},
   url = {https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rath-quictesting.pdf},
   web_url = {https://dl.acm.org/citation.cfm?id=3284853},
   web_url2 = {https://arxiv.org/abs/1811.12099},
   publisher = {ACM},
   event_place = {Heraklion, Greece},
   event_name = {EPIQ'18 Workshop Paper},
   event_date = {4.12.2018},
   language = {en},
   ISBN = {978-1-4503-6082-1},
   DOI = {10.1145/3284850.3284853},
   reviewed = {1},
   author = {Rath, Felix and Schemmel, Daniel and Wehrle, Klaus}
}