Peischl, BernhardWeiglhofer, MartinWotawa, FranzHerzog, OttheinRödiger, Karl-HeinzRonthaler, MarcKoschke, Rainer2019-05-152019-05-152007978-3-88579-206-1https://dl.gi.de/handle/20.500.12116/22519Generally, test cases derived from a formal model can not be directly fed into implementations under test (IUT), because model based test generation techniques produce abstract test cases. In order to run an abstract test case against an IUT the abstract test case either has to be transformed to a concrete test case or an execution of the abstract test case is needed. In this paper we propose a rule based test execution framework, which allows the execution of abstract test cases. Furthermore, we present first results from testing a so called SIP Registrar by executing abstract test cases derived with the TGV tool from a formal specification.enText/Conference Paper1617-5468