12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.PL2020★ 12 cited
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, César Rodríguez +2
We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosio…
cs.SE2018
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution
Felix Rath, Daniel Schemmel, Klaus Wehrle
The main reason for the standardization of network protocols, like QUIC, is to ensure interoperability between implementations, which poses a challenging task. Manual tests are cur…