Key words: conformance testing, abstract test cases, test execution, graph algorithms, on-the-fly generation, test purpose, symbolic test generation,  SDL, LOTOS. 

Key words: frameworks, objects, program transformations, object testing, meta-modeling, CORBA, UML. 

Key words: telecommunication software, objects, partial orders, concurrency, UML, MSC, Petri nets, (Max, +), BDL.