Folgen
Malte Mues
Malte Mues
Bestätigte E-Mail-Adresse bei tu-dortmund.de
Titel
Zitiert von
Zitiert von
Jahr
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
312019
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
192018
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
182022
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
172019
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
122021
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: 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
112021
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
M Mues, F Howar
International Conference on Tools and Algorithms for the Construction and …, 2020
92020
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
82021
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
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
62022
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
Gwit artifact for sv-comp 2022 (Feb 2022)
F Howar, M Mues
DOI: https://doi. org/10.5281/zenodo 5956885, 0
5
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
32020
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
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
12022
Can We Trust Theorem Provers for Industrial AI?
F Howar, M Mues
IEEE Software 38 (6), 104-108, 2021
12021
The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis
M Mues
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20