Publications
- 2025
- 19.D. M. Ernst, J. Vogt, M. Bau and M. Mues, "Polynomial modelling of high-quality yet incomplete rare earth element data sets and a holistic assessment of REE anomalies", Scientific Reports, vol. 15, no. 1, Feb. 2025. Springer Science and Business Media LLC.
- 2024
- 18.M. Mues, J. Rüschoff and B. Hermann, "Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM" in Tests and Proofs, Springer Nature Switzerland, Sep. 2024, pp. 168–175.
- 2023
- 17.[en] M. Mues, "The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis", 2023. TU Dortmund.
- 2022
- 16.M. Mues and F. Howar, "GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)" in Tools and Algorithms for the Construction and Analysis of Systems, Springer International Publishing, 2022, pp. 435—439.
- 15.F. Howar and M. Mues, "GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution)" in Tools and Algorithms for the Construction and Analysis of Systems, Springer International Publishing, 2022, pp. 446–450.
- 14.M. Mues, F. Howar and S. Dierl, "SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM" in Software Engineering and Formal Methods, Springer International Publishing, 2022, pp. 91–107.
- 2021
- 13.F. Howar and M. Mues, "Can we trust theorem provers for industrial AI?", vol. 38, no. 6, pp. 104 - 108, 2021.
- 12.M. Mues and F. Howar, "Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost" in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, Nov. 2021.
- 11.M. Mues and F. Howar, "JDart: portfolio solving, breadth-first search and SMT-Lib strings (competition contribution)" in Tools and algorithms for the construction and analysis of systems, 2021, pp. 448 - 452.
- 2020
- 10.M. Mues, F. Howar and S. Gerard, "Identification of spurious labels in machine learning data sets using N-version validation" in 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), 2020.
- 9.M. Mues, T. Schallau and F. Howar, "Jaint: a framework for user-defined dynamic taint-analyses based on dynamic symbolic execution of Java programs" in Integrated formal methods, 2020, pp. 123 - 140.
- 8.M. Mues and F. Howar, "JDart: dynamic symbolic execution for Java bytecode (competition contribution)" in Tools and algorithms for the construction and analysis of systems, 2020, pp. 398 - 402.
- 7.M. Mues and F. Howar, "Teaching a project-based course at a safe distance - an experience report" in 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T), 2020.
- 6.M. Mues, F. Howar and M. Fitzke, "Thoughts about using constraint solvers in action", vol. 78, 2020.
- 2019
- 5.F. Howar, M. Mues and F. Jabbour, "JConstraints: a library for working with logic expressions in Java" in Models, mindsets, meta: the what, the how, and the why not?, 2019, pp. 310 - 325.
- 4.M. Jasper, M. Mues, F. Howar, B. Steffen, A. Murtovi, M. Schlüter, M. Schordan, D. Hendriks, R. Schiffelers, H. Kuppens and F. W. Vaandrager, "RERS 2019: combining synthesis with real-world models" in Tools and algorithms for the construction and analysis of systems, 2019, pp. 101 - 115.
- 2018
- 3.F. Howar, M. Mues, D. Giannakopoulou and J. A. Navas, "Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring" in Leveraging applications of formal methods, verification and validation. Verification, 2018, pp. 120 - 136.
- 2.M. Jasper, M. Mues, B. Steffen, F. Howar and M. Schlüter, "RERS 2018: CTL, LTL, and reachability" in Leveraging applications of formal methods, verification and validation. Verification, 2018, pp. 433 - 447.
- 2017
- 1.M. Mues, F. Howar, K. Luckow, T. Kahsai and Z. Rakamarić, "Releasing the PSYCO - using symbolic search in interface generation for Java", vol. 41, no. 6, pp. 1 - 5, 2017.
