Author of the publication

System Test Synthesis from UML Models of Distributed Software

, , , , , and . FORTE, page 97-113. (2002)MR: Mittels UMLAUT wird die UML-Spezifikation in ein IOLTS überführt und durch das Testsynthesis-Tool TGV werden Testfälle abgeleitet. Auf diesem Ansatz baut auch der Ansatz von Nebut im SPL-Umfeld Nebut2002Nebut2003Nebut2006..

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Echidna, an estelle compiler to prototype protocols on distributed computers., and . Concurr. Pract. Exp., 4 (5): 377-397 (1992)A parallel execution environment for a sequential object oriented language., , and . ICS, page 368-376. ACM, (1992)A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features., , , and . International Conference on Supercomputing, page 116-123. ACM, (1997)Model-driven generative development of measurement software., , , , and . Softw. Syst. Model., 10 (4): 537-552 (2011)Reasoning over time into models with DataTime., , , , and . Softw. Syst. Model., 22 (5): 1689-1712 (October 2023)Comparing and classifying model transformation reuse approaches across metamodels., , , , , , , , and . Softw. Syst. Model., 19 (2): 441-465 (2020)Test Synthesis from UML Models of Distributed Software., , , , and . IEEE Trans. Software Eng., 33 (4): 252-269 (2007)Composants objets fiables : une approche pragmatique., , , , and . L'OBJET, (1999)Using UML Action Semantics for model execution and transformation., , and . Inf. Syst., 27 (6): 445-457 (2002)System Testing of Product Lines: From Requirements to Test Cases, , and . Software Product Lines, Springer-Verlag, (2006)