Publications
Bernhard Steffen In: Computer Aided Verification (CAV 2025) DOI: https://doi.org/10.1007/978-3-031-98685-7_7 Preprint 2024 Tree-Based Scenario Classification Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk [...] Lorber, Malte Mauritz In: NASA Formal Methods (NFM 2023) DOI: https://doi.org/0.1007/978-3-031-33170-1_7 Preprint The integration of multi-color taint-analysis with dynamic symbolic execution for Java web [...] Simon Dierl, Falk Howar In: Tests and Proofs (TAP 2022) DOI: https://doi.org/10.1007/978-3-031-09827-7_2 Preprint SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM Malte Mues …