Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Publications

Year:

All :: 2012, ... , 2017, 2018, 2020, ... , 2023

Author:

All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z

All :: Saad, ... , Scheitle, Schemmel, Scheurenberg, ... , Stüble

8.	Felix Rath, Daniel Schemmel, and Klaus Wehrle Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution EPIQ'18 Workshop Paper Heraklion, Greece, 4.12.2018 Publisher: ACM, December 2018 DOI: 10.1145/3284850.3284853 ISBN: 978-1-4503-6082-1 https://dl.acm.org/citation.cfm?id=3284853 https://arxiv.org/abs/1811.12099
7.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25 October 2018 DOI: 10.1145/3186316
6.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27
5.	Daniel Schemmel, René Glebke, Mirko Stoffers, and Klaus Wehrle Towards Benchmark Optimization by Automated Equivalence Detection Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18) April 2018 DOI: 10.1109/CPSBench.2018.00011 ISBN: 978-1-5386-6742-2

Export as: