Software Testing and Maintenance

Master of Science in Information Technology, Second Year

Winter Semester 2022/2023

Flipped classroom class using “Effective Software Testing” book from Mauricio Aniche:

Effective software testing

All contact related to this course is handled through MS Teams.

Code related assignments are delivered using GitLab.


  • Effective and systematic software testing
  • Specification-based testing
  • Structural testing and code coverage
  • Designing contracts
  • Property-based testing
  • Test doubles and mocks
  • Designing for testability
  • Test-driven development
  • Larger tests
  • Test code quality


Effective Software Testing: A developer’s guide, M. Aniche, Manning 2022