Malte Mues

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 20

Top Topics

Symbolic Execution

Security Analysis

Top Venues

Software Engineering

Softwaretechnik-Trends

Publications

Malte Mues
The Integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis. Softwaretechnik-Trends 44 (2) (2024)
Malte Mues, Falk Howar
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) (2022)
Malte Mues, Falk Howar
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering (2022)
Malte Mues, Falk Howar, Simon Dierl
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM (2022)
Falk Howar, Malte Mues
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) (2022)
Malte Mues, Falk Howar
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) (2021)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering (2021)
Falk Howar, Malte Mues, Tim Menzies
Can We Trust Theorem Provers for Industrial AI? IEEE Softw. 38 (6) (2021)
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE (2021)
Falk Howar, Marc Jasper, Malte Mues, David A. Schmidt, Bernhard Steffen
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Malte Mues, Falk Howar
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE (2021)
Malte Mues, Sebastian Gerard, Falk Howar
Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC (2020)
Malte Mues, Falk Howar
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) (2020)
Malte Mues, Till Schallau, Falk Howar
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM (2020)
Malte Mues, Falk Howar
Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T (2020)
Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlüter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) (2018)
Falk Howar, Fadi Jabbour, Malte Mues
JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta (2018)
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) (2018)
Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes 41 (6) (2016)