Malte Mues

According to our database, Malte Mues authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

The Integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis.

Malte Mues

Softwaretechnik-Trends, May, 2024

Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM.

Malte Mues, Julian Rüschoff, Ben Hermann

Proceedings of the Tests and Proofs - 18th International Conference, 2024

2023

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis.

Malte Mues

PhD thesis, 2023

2022

GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution).

Malte Mues, Falk Howar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution).

Falk Howar, Malte Mues

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM.

Malte Mues, Falk Howar, Simon Dierl

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Data-Driven Design and Evaluation of SMT Meta-Solving Strategies.

Malte Mues, Falk Howar

Proceedings of the Software Engineering 2022, 2022

2021

The RERS challenge: towards controllable and scalable benchmark synthesis.

Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2021

Can We Trust Theorem Provers for Industrial AI?

Falk Howar, Malte Mues

IEEE Softw., 2021

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).

Malte Mues, Falk Howar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost.

Malte Mues, Falk Howar

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education.

Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

2020

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution).

Malte Mues, Falk Howar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation.

Malte Mues, Sebastian Gerard, Falk Howar

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs.

Malte Mues, Till Schallau, Falk Howar

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Teaching a Project-Based Course at a Safe Distance: An Experience Report.

Malte Mues, Falk Howar

Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020

2019

RERS 2019: Combining Synthesis with Real-World Models.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

RERS 2018: CTL, LTL, and Reachability.

Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.

Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

JConstraints: A Library for Working with Logic Expressions in Java.

Falk Howar, Fadi Jabbour, Malte Mues

Proceedings of the Models, Mindsets, 2018

2016

Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java.

Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric

ACM SIGSOFT Softw. Eng. Notes, 2016