Dr. Malte Mues

The integration of multi-color taint-analysis with dynamic symbolic execution for java web application security analysis
Malte Mues
In: Softwaretechnik-Trends
URL: https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band_44_Heft_2/Denert2023_8_Mues.pdf Ernst_dennert_preis_mues.pdf
Preprint

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis.
Malte Mues
Doctoral dissertation
DOI: https://doi.org/10.17877/DE290R-23694

SPouT: Symbolic Path 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

GDart: an ensemble of tools for dynamic symbolic execution on the Java virtual machine (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_27
PreprinPreprint

GWIT: a witness validator for Java based on GraalVM (competition contribution)
Falk Howar, Malte Mues
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
DOI: https://doi.org/10.1007/978-3-030-99527-0_29
PreprinPreprint

Data-driven design and evaluation of SMT 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

The RERS challenge: towards controllable and 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

JDart: portfolio solving, breadth-first search and SMT-Lib strings (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)
DOI: https://doi.org/10.1007/978-3-030-72013-1_30
PreprinPreprint

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
In: Third International Workshop on Software Engineering Education for the Next Generation (SEENG 2021) 
DOI: https://doi.org/10.1109/SEENG53126.2021.00012
Preprint

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Malte Mues, Till Schallau, Falk Howar
In: Integrated Formal Methods (IFM 2020)
DOI: https://doi.org/10.1007/978-3-030-63461-2_7
Preprint

JDart: dynamic symbolic execution for Java bytecode (competition contribution)
Malte Mues, Falk Howar
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020)
DOI: https://doi.org/10.1007/978-3-030-45237-7_28
Preprint

Thoughts about using constraint solvers in action
Malte Mues, Martin Fitzke,  Falk Howar
In: Electronic Communications of the EASST (ECEASST 2020)
DOI: https://doi.org/10.14279/tuj.eceasst.78.1100
Preprint

Teaching a project-based course at a safe distance: an experience report
Malte Mues, Falk Howar
In: Conference on Software Engineering Education and Training (CSEE&T 2020)
DOI: https://doi.org/10.1109/cseet49119.2020.9206192
Preprint

Identification of spurious labels in machine learning data sets using N-version validation
Malte Mues, Sebastian Gerard, Falk Howar
In: International Conference on Intelligent Transportation Systems (ITSC 2020)
DOI: https://doi.org/10.1109/itsc45102.2020.9294223
Preprint

JConstraints: a library for working with logic expressions in Java
Falk Howar, Fadi Jabbour, Malte Mues
In: Models, mindsets, meta: the what, the how, and the why not? 
DOI: https://doi.org/10.1007/978-3-030-22348-9_19
PreprinPreprint

Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
In: International Symposium on Leveraging Applications of Formal Methods (ISOLA 2018)
DOI: https://doi.org/10.1007/978-3-030-03421-4_9
Preprint

Releasing the PSYCO: using symbolic search in interface generation for Java
Malte Mues, Falk Howar, Kasper Luckow, Temesghen Kahsai, Zvonimir Rakamrić
In: Software Engineering Notes
DOI: https://doi.org/10.1145/3011286.3011298
Preprint