Advanced Software Testing and Analysis

What it is about

You deal with current research results, tools and techniques from the field of software testing and program analysis. In the end you can evaluate selected state-of-the-art methods and apply them practically, e.g. techniques for static analysis, test generation, test optimization and debugging.

What you will be able to do

• Understanding modern methods for testing and analysis
• Evaluating research tools and results
• Practically applying specific techniques (e.g. fuzzing, mutation testing, slicing)
• Carrying out theoretical and empirical evaluations

What the module consists of

• VorlesungConveying fundamentals and current research results; combines traditional presentation and flipped classroom elements
• TutorialsDeepening lecture content with problem sets and tutoring support
• Hausprojekt (freiwillig)Practical application of the methods on a sample project with feedback from tutors

Teaching method

• Präsentation durch DozentenServes as an introduction and explanation of detailed examples
• Flipped Classroom (Vorbereitung mit Texten/Videos)Enables active discussion and peer instruction in the sessions
• Tutorials mit Arbeitsblättern und TutorenSupport practical work on exercises and deepening the content
• Arbeit am Beispielprojekt als HausaufgabeEnables practical application and demonstration of the learned methods