Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems

W. Krenn, R. Schlick, and B. K. Aichernig

Abstract:

Reference: W. Krenn, R. Schlick, and B. K. Aichernig. Mapping UML to labeled transition systems for test-case generation - a translation via object-oriented action systems. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede, and M. Leuschel, editors, Formal Methods for Components and Objects - 8^th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 186-207. Springer-Verlag, 2010.