News

[12-06-2026] Exam-2 Scope: subjects discussed in the lectures about Verification (week-21 - week-25). These include:
  • Predicate logic, equational reasoning
  • List induction, including proving properties over lists using list induction
  • Hoare triple and Hoare logic
  • Weakest precondition, relationship between wp and Hoare triples
  • Loop invariants
  • Loop termination metrics
  • Handling loop with breaks
  • Other language constructs: simultaneous assignments, program call, recursive programs
In the Exam, you are allowed to bring Appendix-A of the Lecture Notes (and only that).

[12-05-2026] Slides from my talk about research in automated testing: pdf. (not exam material!).

[04-05-2026] Scope for Exam-1:
  1. Formalization of pre- and post-conditions.
  2. Graph-based testing, including prime paths and McCabe.
  3. Black box testing: partition-based testing and model-based testing (MBT) with extended finite state machine (EFSM).
  4. Data-flow-based testing, integration testing based on data-flow, testing OO programs using data-flow approach.

[04-05-2026] Some exercises about McCabe cyclomatic number and its relation with testing and about model-based testing (MBT) with extended finite state machine (EFSM): McCabe + EFSM exercises | with solution

[17-04-2026] Grading:
grading formula

[17-04-2026]The website should be ready. We start next week. We will have a testing project. Form a team of three members, and register your team in the MS-Team for B3STV. There is an excel-sheet in the "shared"-section where you can register. If you are looking for a team, you can add your name in the looking-for-team section. I'll assign you to a team.

[17-03-2026]Under construction. Moving stuffs from 24/25 to 25/26.