November 30, 2020 to December 2, 2020
Europe/Copenhagen timezone

Crash course: Model-based tester "Modbat"

Not scheduled


Cyrille Artho (KTH Royal Institute of Technology)


Model-based testing automates the generation of test sequences that share similar characteristics (for example, tests adding or removing data to a list).

Modbat is specialized for testing the application programming interface (API) of software. The model used by Modbat is compatible with Java bytecode. The user defines and compiles a model, which is then explored by Modbat and executed against the system under test. Failed test runs are reported as an error trace.

In this one-hour tutorial, we will first introduce model-based testing and explain how Modbat works, and then proceed with a hands-on tutorial as found on the github wiki of Modbat:

Primary author

Cyrille Artho (KTH Royal Institute of Technology)

Presentation materials

There are no materials yet.