Herzner, WolfgangSchlick, RupertBrandl, HaraldWiessalla, Johannes2023-03-202023-03-202011https://dl.gi.de/handle/20.500.12116/40958In the European project MOGENTES1 methods for model-based generation of efficient test cases are developed. A special focus is laid on test cases, which not only allow for assessing the fulfillment of requirements, but in particular looking for potential faults – or prove their absence. This is achieved by mutation-based testing: an original model is modified to simulate faults, and then test cases are searched which are able to distinguish between original and mutated model. This paper gives an overview of MOGENTES, presents an application example from the automotive domain, and summarizes the results from this example.enfulfillment of functional (safety) requirementsmodel-based test case generation (MBTCG)fault-modelsmutation-based testingMOGENTESText/Journal Article0720-8928