Providing high-quality software is an integral part of the software development process. Under certain circumstances, software bugs can cost millions or, in the worst case, even human lives. As the technologies used to develop software continue to evolve, software quality assurance is constantly faced with the challenge of ensuring the quality of increasingly complex software.

In this seminar, you will look at current research focuses in the field of software quality assurance and scientifically analyze and compare at least two approaches to your respective topic.

The following competencies will be acquired as overarching learning objectives in this course:

• The ability to independently conduct a structured literature search on a given topic and to independently search, identify, analyze and evaluate suitable literature

• The presentation and differentiated evaluation of the state of the art or knowledge in a subject area

• The ability to present scientific results on a topic in a structured manner and to present them to a specialist audience as part of a lecture

• The ability to apply scientific writing techniques to write a scientific review article on a topic

• The critical evaluation and classification of scientific texts

Topics:

We allocate 8 - 10 places on the following main topics:

• Regression Testing

• Fuzzing

• Machine Learning in Testing

• Testing of Software Product Lines

• Continuous Integration Testing

• Verification of Non-Functional Properties using Type Systems

  • Energy Consumption

  • Computation Time

  • Heap Consumption

  • Information Flow
  • Component Communication

6 - 8 pages paper in ACM style (double column) and 25 minutes presentation. Two reviews of papers from fellow students.

Please register for the course in Ilias. Registration is open from Feb 19 12:00 pm. There is a waiting list if there are more than 10 participants. The final list of participants will be determined at the kickoff on April 17 at 15:45 am in room 348 in building 50.34. Even if you are on the waiting list, you should come to the kickoff to get a topic as a possible substitute.