M. Sc. Robert Müller

Kontakt

M. Sc. Robert Müller
Telefon: 0271-740-2618
E-Mail: Robert.Mueller@uni-siegen.de
Büro: H-C 8304

ORCID: 0000-0002-9718-6272

Sprechstunde

Mittwochs 10–12 Uhr (mit vorheriger Anmeldung per E-Mail).

Forschungsinteressen

• Induktive Programmsynthese, Programming-by-Example
• Automatisches Testen, Fuzz-Testing
• Program-Merging, Refactoring
• Hilfsmittel: Java, Eclipse Modelling Framework, C/C++

Lehre

• Softwaretechnik I – Übung (seit WiSe 2020/21)
• Softwaretechnik II – Übung (seit SoSe 2021)
• Proseminar/Seminar Modellbasierte Entwicklung (seit SoSe 2021)

Betreute Abschlussarbeiten

• Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
• Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
• Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
• Performance-Evaluation von SAT-Solving-Verfahren (2023)
• Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre (2022)
• Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
• Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)

Forschungsprojekte

• Kontinuierliche Programmsynthese

Publikationen

• Robert Müller, Mathis Weiß, and Malte Lochau. „Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings.“ Proceedings of the 28th ACM International Systems and Software Product Line Conference. 2024. [Definitive Version] [Extended Version]

Akademische Tätigkeiten

• Ich habe unser Paper „Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings“ auf der SPLC’24 vorgestellt.
• Ich war Sub-Reviewer von VaMoS’22, FormaliSE’22, SPLC’22, ESEC/FSE’22, VaMoS’23, SPLC’23, VaMoS’24 und SPLC’24.
• Ich war im Artifact Evaluation Committee der FormaliSE’22, ’23 und ’24.
• Ich habe mein Forschungsthema auf der FOSD’23 vorgestellt.