Software & Security Testing

In this seminar, students present research papers in software testing. A special emphasis will be given to the combination of testing and formal methods as well as application areas such as security and safety-critical systems.

The main goal of the seminar are the independent study of scientific literature and assessment of its contribution as well as learning and practicing presentation techniques.

The seminar covers topics in software testing, including random testing, integration of model checkers and test case generators, specification-based testing, and security testing. The participants are expected to read a scientific paper and present it in a 35-40 min talk.

Announcements

• 13.09.2011: The papers will be distributed in the first session (20.09.2011). For the first session, please make sure to check out the list of available papers in advance and to select at least 4 papers that you are interested in.
• 27.09.2011: The schedule for the presentations is now available.

Lecturer

Prof. Dr. David Basin

Prof. Dr. Peter Müller

Hours

2S

Lectures

Tuesday, 10-12 am

Room: CAB G59

• Session 1 (20.09.2011): Overview, Distribution of papers
• Session 2 (18.10.2011): Student presentations
• Session 3 (25.10.2011): Student presentations
• Session 4 (1.11.2011): Student presentations
• Session 5 (8.11.2011): Student presentations
• Session 6 (15.11.2011): Student presentations

Credits

2 Credits

Language

English

Prerequisites

A background in formal methods (e.g., specification and model-checking) would be helpful.

Literature

• Available papers
• Markus Püschel, Small Guide To Giving Presentations (self-study)

Grades

Criteria for determining grades