• Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams 

      Muñoz, Paula; Burgueño, Loli; Vallecillo-Moreno, Antonio Jesus; Gogolla, Martin (2019-09-20)
      This paper presents the extension of a UML and OCL tool that enables the textual specification of UML sequence diagrams, and the automated generation of all valid behaviors according to these sequence diagrams. Message ...