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 FMCO'09: Proceedings of the 8^th international conference on Formal methods for components and objects, pages 186-207, Berlin, Heidelberg, 2010. Springer-Verlag.