Malte Mues
Recording During Testing - A Concolic Executor for the JVM Malte Mues, Falk Howar, Simon Dierl In: Software Engineering and Formal Methods (SEFM 2022) DOI: https://doi.org/10.1007/978-3-031-17108-6_6 Preprint [...] meta-solving strategies: balancing performance, accuracy, and cost Malte Mues, Falk Howar In: Automated Software Engineering (ASE 2021) DOI: https://doi.org/10.1109/ase51524.2021.9678881 Preprint 2021 The RERS [...] scalable benchmark synthesis Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen In: Software Tools for Technology Transfer (STTT 2021) DOI: https://doi.org/10.1007/s10009-021-00617-z Preprint …
