To content
Fakultät für Informatik
Automated Quality Assurance

Dr. Malte Mues

E-Mail
malte.mues@tu-dortmund.de

Phone
(+49) 231 755-7544

Office
TU Dortmund University
Department for Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Room 2.012

Consultation Hours
By appointment

Links
ORCID
Google Scholar

© privat

Publications

Supervised Theses

2021
Normalization of SMT Problems
Master thesis
Design einer Data Processing DSL entlang eines UseCase in der Geochemie
Master thesis
Design und Evaluierung einer Webanwendung zur Visualisierung von SMT Solver Performance
Bachelor thesis
2020
Implementierung und Evaluation der String-Theorie Unterstützung in JConstraints unter Verwendung verschiedener String-Solver
Bachelor thesis
Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests
Bachelor thesis
Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen
Master thesis
2019
Design und prototypische Entwicklung einer servicebasierten Experimentierplattform
Bachelor thesis
Command Injection Detection durch Taint-Analyse mittels Symbolic Execution am OWASP Benchmark Beispiel
Bachelor thesis
2018
Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung
Bachelor thesis
Benchmarking multi-solver hierarchies in jConstraints
Bachelor thesis