Systems Analysis

A Deterministic Memory Allocator for Dynamic Symbolic Execution

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Felix Rath, Daniel Schemmel, Klaus Wehrle

On Automated Memoization in the Field of Simulation Parameter Studies

Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle

PARTI: A Multi-interval Theory Solver for Symbolic Execution

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar

Towards Benchmark Optimization by Automated Equivalence Detection

Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle

Automated Memoization: Automatically Identifying Memoization Units in Simulation Parameter Studies

Mirko Stoffers, Ralf Bettermann, Klaus Wehrle

Floating-Point Symbolic Execution: A Case Study in N-Version Programming

Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

SymPerf: Predicting Network Function Performance

Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch, Klaus Wehrle

Code-transparent Discrete Event Simulation for Time-accurate Wireless Prototyping

Martin Serror, Jörg Christian Kirchhof, Mirko Stoffers, Klaus Wehrle, James Gross