Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage:

1. Selbstständig wissenschaftliche Literatur im Bereich Software Engineering, speziell Software Reliability, zu lesen.
2. Research paper in Software Engineering zu evaluieren und deren Limitierungen und Verbesserungspotenzial zu erkennen.
3. Komplexe technische Themen zu einem breiten Publikum zu präsentieren.

The goal of this seminar is to introduce students to important research results in the area of software reliability, and in particular, program analysis, software engineering, and software security of regular software, machine-learning models, and smart contracts. To achieve this, the students will study, present, and discuss research papers in the area.

During this seminar, the students will

• become familiar with a broad range of key research results in the area of software reliability,
• learn how to read and understand papers in the area,
• learn how to evaluate papers in the area by highlighting limitations and suggesting possible improvements,
• learn how to present and discuss with peers a technical topic in the area.

• Introductory lecture
• Literature study
• Presentation
• Research sessions

ECTS breakdown (3 ECTS = 75 hours):

• Kick-Off: 1h
• Presentations: 8h
• Research session: 4h
• Presentation preparation: 36h
• Research-session preparation: 26h

• Final presentation on studied literature
• Participation in research sessions