Teaching

Prospective Students

In case you are a student looking for a bachelor or master thesis: Feel free to contact me if you are interested in one of my research topics or projects. Students at the University of Passau should make sure that their study plan covers a sufficient number of modules from the programming and software systems focus area. Please send your CV and a full transcript of records with our application. Furthermore, use your university email address to send the email and send it to my working email address, which you can find on the web page of the Chair of Software Engineering II. Applications that do not fulfil these requirements will not be answered! Please consider also reading my notes on email communication.

To align with the examination regulations, a student must show that she or he is capable of scientific work and that she or he can apply scientific methods independently, on a limited topic. We will meet regularly to discuss the advances in the project but there will be a strong focus on independent work.

Please consider to read (or watch) the famous Thesis Guide by Elmar Jürgens to get an idea of how a thesis process could look like and what to know before starting such a project.

Teaching

I did the following courses as a teaching assistant.

  • Programming II (exercise): winter 2018
  • Software Analysis (exercise): summer 2023, summer 2022, summer 2021, summer 2020, summer 2019
  • Software Engineering (exercise): summer 2023, summer 2022, summer 2021, summer 2020, summer 2019, summer 2018
  • Software Engineering Project (practical team project): winter 2022, winter 2021, winter 2020
  • Software Testing (exercise): winter 2022, winter 2021, winter 2020, winter 2019
  • Summercamp: summer 2023 (project title: Programming Microcontrollers with Arduino), summer 2019 (project title: Robotics Programming with Lego NXT), summer 2018 (project title: Robotics Programming with Lego NXT), summer 2017 (project title: Programming Microcontrollers with Arduino), summer 2016 (project title: Programming Microcontrollers with Arduino), summer 2015 (project title: Android app programming)
  • Theoretical Computer Science 1 (exercise): winter 2019
  • Tutorial on the Haskell programming language: winter 2017, winter 2016, winter 2015
  • various seminars: winter 2020 (title: Deep Learning in Software Engineering), summer 2020 (title: Program Analysis for Dynamic Languages and Functional Languages), winter 2019 (title: Automated Program Repair)

Co-Supervised Theses

I have co-supervised the following theses together with my advisor Gordon Fraser:

  • F. Kroiß: “Type Tracing: Using Runtime Information to Improve Automated Unit-test Generation for Python”. Master Thesis, 2023.
  • S. Labrenz: “Using Checked Coverage as Fitness Function for Test Generation in Python”. Master Thesis, 2022.
  • M. Königseder: “DeepTyper für Python und der Einfluss von Typvorhersagen auf die automatische Testgenerierung”. Bachelor Thesis, 2022.
  • M. Rauch: “Pygram—Bug Detection with N-gram Language Models for Python Projects”. Bachelor Thesis, 2022.
  • F. Straubinger: “Mutation Analysis to Improve the Generation of Assertions for Automatically Generated Python Unit-tests”. Bachelor Thesis, 2021.
  • J. Jäger: “Defining a Measurement for the Quality of Type Annotations in Python using Mutation Analysis”. Bachelor Thesis, 2021.
  • D. Zauner: “PySketchFix—Automated Program Repair Tool for Python”. Bachelor Thesis, 2021.
  • L. Steffens: “Seeding Strategies in Search-Based Unit Test Generation for Python”. Bachelor Thesis, 2021.
  • J. Einwander: “Emirische Analyse der Nutzung vom Lambdas in Python”. Bachelor Thesis, 2021.
  • M. Pusl: “Automated Dependency Inference And Test Suite Execution For Python Projects”. Bachelor Thesis, 2021.
  • M. Reichenberger: “Measuring Oracle Quality in Python”. Master Thesis, 2020.
  • S. Patil: “Software Bug Prediction in Python using Machine Learning Approach”. Master Thesis, 2020.
  • F. Kroiß: “Automatic Generation of Whole Test Suites in Python”. Bachelor Thesis, 2020.
  • D. Sokyappa: “How Good are Mutants to Replace Real Faults”. Master Thesis, 2020.
  • A. Govindaswamy: “How Effective is Code Coverage in Correlation to Fault Finding?”. Master Thesis, 2020.
  • R. Holosynskyi: “Python dataflow coverage”. Master Thesis, 2020.
  • F. Grelka: “Eine empirische Analyse von Flaky-Tests in Python”. Bachelor Thesis, 2020.
  • C. Frädrich: “Combining Test Generation and Type Inference for Testing Dynamically Typed Programming Languages”. Master Thesis, 2019.