Seminar: Model-based Testing


Seminar: Prof. Dr. Stefan Leue, Dr. Georgiana Caltais

Thursday 15:15 - 16:45 in Room PZ 901

  • The first session, 14th of April, is mandatory for every student who wants to give a talk! 



Testing is one of the most frequently used software quality assurance techniques in practice. In this seminar we shall focus on the so-called Model-Based Testing (MBT). In short, MBT relies on a formal model of the system being developed. MBT can be exploited, for instance, in order to generate complete test suites to show conformance of the formal model and its implementation, or to identify relevant test cases to reason on the developed system.

Note that the directed studies course on Testing of Software (winter term 2015/2016) is not mandatory; it nicely complements the current seminar, but it is not prerequisite.


The seminar will help the participants to enter the domain of MBT and to apply the associated methodologies to enhance their product under development as software developer or software project manager. MBT is a hot research topic in Computer Science, hence the current seminar can serve the participants as a starting point for this research direction as well.

All material will be made available via Ilias.

The seminar will be held in English.


  • Computer Science students: Master students, Bachelor students > 3. semester

Subject Area

  • Informatik der Systeme / Angewandte Informatik 



Testing of State-Based Systems

  • Conformance testing
  • MBT with labeled transition systems
  • I/O automata based systems
  • Test derivation from timed automata

Model-Based Test Case Generation

  • Technology of test-case generation
  • Real-time and hybrid systems testing

Symbolic Frameworks for MBT

MBT at Work. Tools

  • Automated test code generation from Petri Nets
  • MBT of cyber-physical systems
  • MBT for HTML rendering engines
  • MBT of reactive systems with Spec Explorer


4 ECTS-Points

Credit Requirements

  • 30 Minutes Presentation + 15 Minutes Discussion 
  • Written report (8-10 pages)
  • Presence and active participation during the presentations of the other students
  • The language for the presentation will be English