We are hiring new student research assistants and tutors. Apply now!
Paper accepted at ICSE 2023: "CoVeriTeam Service: Verification as a Service"

Prof. Dr. Stefan Winter

Picture of Prof. Dr. Stefan Winter

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room F 010, Oettingenstr. 67
Office hours
by appointment, please send me an e-mail in advance
E-Mail
firstname.lastname@sosy.ifi.lmu.de
Personal Homepage
www.stefan-winter.net
ORCID
0000-0001-8244-995X

Thesis Mentoring

Currently assigned topics
Data Flow Based Assessment of Unintended Test Result Deviations

Background: Unintended Test Result Deviations (UTRD) denote changes in test results that are not due to changes in the code under test. UTRD constitute a major impediment to regression testing (a corner-stone of modern software development), because a change in test results is commonly attributed to a change in the code under test (CUT). If a test verdict changes due to other reasons, developers may waste time debugging the CUT, which is not the cause of the changed test result. UTRD has been acknowledged as a major problem by major software companies and organizations, including Microsoft, Google, and Mozilla.
Goal: The goal of the proposed thesis is to develop a static data-flow analysis to detect whether test outcomes, which are usually based on data comparisons, depend on possibly uncontrolled inputs to the CUT. Such uncontrolled inputs may, for instance, be environment variables, file I/O, usage of random number generators, etc. The analysis is supposed to work on C programs and should be based on the CPAchecker framework.

If you're a student interested in writing your thesis at our chair, you should also have a look at our full list of currently available theses.

Publications, Theses, and Projects