The future of models in testing

Simulators, stubs and mocks are used in testing for quite some time. An increase in the computational power and successful research at different universities made it possible to simulate and model more complex systems and their behavior.

For several years modelling is used to generate software code, instead of writing it by hand (see also special lecture at QA&Test 2014). Nowadays models are used in much more places, e.g. in model-based-testing or digital twins.

Join Bryan Bakker's Talk
21 October 14:00-15:00

This presentation will walk through different methods
where formal models are being used, and will take
a look at the future, what can be expected

If you do not want to receive more information about QA&TEST, click here