Testen

Zeitplan

• 03.04.2019, 10:15 - 16:00, München, Oettingenstr. 67, C007: Vorlesung + Tutorial
• 04.04.2019, 10:15 - 16:00, München, Oettingenstr. 67, C007: Vorlesung + Tutorial

Material

All slides are under copyright. All rights reserved.

• Foundations of Program Analysis and Whitebox Testing
• Testgoal Specification with FQL
• Techniken zur automatischen Testfall-Erzeugung

Additional material:

• Virtuelle Maschine für Tutorial
• CPAchecker executable (program analysis tool)
• Lab Session

Literature

People

• Speaker: Prof. Dr. Dirk Beyer
• Tutor: Thomas Lemberger,