Marius Kamp, M. Sc.

imageWiss. Mitarbeiter
Sprechstunde:
    nach Vereinbarung, Raum 05.136, n.V. per E-Mail

Projekte

Analyse von Code-Repositories
Projektleitung: Philippsen, M.
Mitarbeiter: Dotzler, G.; Kamp, M.; Kreutzer, P.

Lehrveranstaltungen

WS 2019/2020

SS 2019

WS 2018/2019

SS 2018

WS 2017/2018

SS 2017

WS 2016/2017

SS 2016

WS 2015/2016

SS 2015

Publikationen

  1. Kamp, M.; Kreutzer, P.; Philippsen, M.: SeSaMe: A Data Set of Semantically Similar Java Methods. In: Storey, M.; Adams, B.; Haiduc, S. (Hrsg.): Proceedings of the 16th International Conference on Mining Software Repositories (MSR 2019) (16th International Conference on Mining Software Repositories (MSR 2019), Montreal, QC, Canada). Piscataway, NJ, USA: IEEE Press, 2019, S. 529-533 (BibTeX)
  2. Oster, N.; Kamp, M.; Philippsen, M.: AuDoscore: Automatic Grading of Java or Scala Homework. In: Strickroth, S.; Müller, O.; Striewe, M. (Hrsg.): Proceedings of the Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017) (Third Workshop "Automatische Bewertung von Programmieraufgaben" (ABP 2017), Potsdam, Germany). http://ceur-ws.org/Vol-2015/: CEUR Workshop Proceedings (CEUR-WS), 2017, S. -, Online Proceedings for Scientific Conferences and Workshops (CEUR-WS) Bd. 2015 - ISSN 1613-0073 (BibTeX)
  3. Dotzler, G.; Kamp, M.; Kreutzer, P.; Philippsen, M.: More Accurate Recommendations for Method-Level Changes. In: ACM (Hrsg.): Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017) (11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE2017), Paderborn, Germany). New York, NY, USA: ACM DL, 2017, S. 798-808. - ISBN 978-1-4503-5105-8 (BibTeX)

Betreute Examensarbeiten

Abgeschlossene Arbeiten

  1. Stefan Schwanecke: Vergleich zweier Verfahren zur Funktionssynthese.[BA]
    Betreuer: Novac, D.; Kamp, M.; Philippsen, M.: abgeschlossen am 12. November 2018
  2. Markus Wich: Ermittlung der Genauigkeit des Ergebnisses der symbolischen Ausführung.[BA]
    Betreuer: Novac, D.; Kamp, M.; Philippsen, M.: abgeschlossen am 30. September 2018
  3. Adrian Kretschmer: Erweiterung und Evaluation eines Werkzeugs zur Identifikation von semantisch ähnlichen Code-Fragmenten. [MASPROJ]
    Betreuer: Kreutzer, P.; Kamp, M.; Philippsen, M.: abgeschlossen am 25. Februar 2018
  4. Simon Rainer: Modernisierung und Erweiterung eines im Lehrbetrieb eingesetzten Just-in-Time-Übersetzers. [MASPROJ]
    Betreuer: Kreutzer, P.; Kamp, M.; Philippsen, M.: abgeschlossen am 12. Februar 2018
  5. Christian Spangler: Semantische Code-Suche mittels Funktionssynthese.[BA]
    Betreuer: Kreutzer, P.; Kamp, M.; Philippsen, M.: abgeschlossen am 21. Dezember 2017
  6. Andreas Grünwald: Analyse und Bewertung von Software-Architekturen zwecks Unterstützung der präventiven Wartung durch Restrukturierung.[MA]
    Betreuer: Oster, N.; Kreutzer, P.; Kamp, M.; Philippsen, M.: abgeschlossen am 4. April 2017
  7. Guillermo Janner: Werkzeug zur automatischen Ergänzung bestehender Testsuiten zur maschinellen Bewertung studentischer Abgaben.[MA]
    Betreuer: Kamp, M.; Oster, N.; Philippsen, M.: abgeschlossen am 15. Februar 2017
  8. Adrian Kretschmer: Implementierung und Evaluierung einer Hierarchie von Verfahren zum semantischen Vergleich von Code-Fragmenten.[BA]
    Betreuer: Kreutzer, P.; Kamp, M.; Philippsen, M.: abgeschlossen am 3. November 2016
  9. Thorsten Schwachhofer: Entwicklung eines Simulink Targets.[BA]
    Betreuer: Blaß, T.; Kamp, M.; Philippsen, M.: abgeschlossen am 4. Oktober 2016
  10. Markus Straussberger: Erweiterung (und Beschreibung) eines parametrisierbaren skriptfähigen Web Interfaces.[BA]
    Betreuer: Blaß, T.; Kamp, M.; Philippsen, M.: abgeschlossen am 4. Oktober 2016
  11. Michael Sammler: Implementierung des Kerns eines Konverters für grafische Sprachen von Speicherprogrammierbaren Steuerungen.[BA]
    Betreuer: Blaß, T.; Kamp, M.; Philippsen, M.: abgeschlossen am 4. Oktober 2016
  12. Lukas Spranger: Optimierung eines Verfahrens zur symbolischen Ausführung von Code-Fragmenten.[SA/DA/BA/MA]
    Betreuer: Dotzler, G.; Kamp, M.; Philippsen, M.: abgeschlossen am 19. April 2016
  13. Simon Rainer: Automatische Generierung von Joern-Abfragen.[BA]
    Betreuer: Dotzler, G.; Kamp, M.; Philippsen, M.: abgeschlossen am 1. März 2016
  14. Michael Baer: Verbesserung von Mutationstests mit Hilfe der symbolischen Ausführung.[SA/DA/BA/MA]
    Betreuer: Dotzler, G.; Kamp, M.; Oster, N.; Philippsen, M.: abgeschlossen am 16. Dezember 2015
watermark seal