Contacts

The student shall investigate a specific novel software verification technique (identification of performance errors with regression testing) and evaluate and present the results in the seminar. For the evaluation it is required to understand the background literature used to build up the method and derive/analyze strength and weaknesses. As a practical part of this seminar, it is expected that selected techniques are evaluated by the student based on proof-of-concept implementations and/or small experiments. Furthermore the student shall investigate ho