Daniel Schemmel | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Klaus Wehrle
29 publications
César Rodríguez
3 publications
Julian Büning
1 publication
David Laprell
1 publication
Felix Rath
1 publication

research

∙ 05/14/2020

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded program...

0 Daniel Schemmel, et al. ∙

research

∙ 11/29/2018

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

The main reason for the standardization of network protocols, like QUIC,...

0 Felix Rath, et al. ∙

Success!

An error occurred