1. Holistic Model-Based Testing for Business Information Systems Michael Mlynarski 08.04.2010, Paris 2. Intro 3. Generating test cases? - theory - 4. We can generate test…