Follow
Malte Mues
Malte Mues
Verified email at tu-dortmund.de
Title
Cited by
Cited by
Year
RERS 2019: combining synthesis with real-world models
M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
332019
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)
M Mues, F Howar
International Conference on Tools and Algorithms for the Construction and …, 2022
212022
Rers 2018: Ctl, ltl, and reachability
M Jasper, M Mues, M Schlüter, B Steffen, F Howar
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
202018
JConstraints: A library for working with logic expressions in Java
F Howar, F Jabbour, M Mues
Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019
162019
The RERS challenge: towards controllable and scalable benchmark synthesis
F Howar, M Jasper, M Mues, D Schmidt, B Steffen
International Journal on Software Tools for Technology Transfer 23 (6), 917-930, 2021
142021
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)
M Mues, F Howar
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
132021
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
M Mues, T Schallau, F Howar
International Conference on Integrated Formal Methods, 123-140, 2020
122020
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
M Mues, F Howar
International Conference on Tools and Algorithms for the Construction and …, 2020
112020
GWit: A Witness Validator for Java based on GraalVM (Competition Contribution)
F Howar, M Mues
International Conference on Tools and Algorithms for the Construction and …, 2022
92022
Data-driven design and evaluation of SMT meta-solving strategies: Balancing performance, accuracy, and cost
M Mues, F Howar
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
72021
Releasing the PSYCO: using symbolic search in interface generation for java
M Mues, F Howar, K Luckow, T Kahsai, Z Rakamarić
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
72017
Teaching a project-based course at a safe distance: an experience report
M Mues, F Howar
2020 IEEE 32nd Conference on Software Engineering Education and Training …, 2020
62020
Identification of spurious labels in machine learning data sets using N-version validation
M Mues, S Gerard, F Howar
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
42020
Gwit artifact for sv-comp 2022 (Feb 2022)
F Howar, M Mues
DOI: https://doi. org/10.5281/zenodo 5956885, 0
4
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM
M Mues, F Howar, S Dierl
International Conference on Software Engineering and Formal Methods, 91-107, 2022
22022
Do away with the frankensteinian programs! a proposal for a genuine se education
S Dierl, F Howar, M Mues, S Naujokat, T Schallau
2021 Third International Workshop on Software Engineering Education for the …, 2021
22021
Thoughts about using Constraint Solvers in Action
M Mues, M Fitzke, F Howar
Electronic Communications of the EASST 78, 2019
22019
Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
F Howar, D Giannakopoulou, M Mues, JA Navas
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
22018
Can We Trust Theorem Provers for Industrial AI?
F Howar, M Mues
IEEE Software 38 (6), 104-108, 2021
12021
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM
M Mues, J Rüschoff, B Hermann
International Conference on Tests and Proofs, 168-175, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20