Simon Dierl
Lorber, Malte Mauritz In: NASA Formal Methods (NFM 2023) DOI: https://doi.org/0.1007/978-3-031-33170-1_7 Preprint Interpretable Anomaly Detection via Discrete Optimization Simon Lutz, Florian Wittbold, Simon [...] 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 [...] Falk Howar In: Model Checking, Synthesis, and Learning DOI: https://doi.org/10.1007/978-3-030-91384-7_10 Preprint Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education Simon Dierl …
