Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProc. of Formal Methods for Components and Objects (FMCO) 2009
Publisher.
Pages228-249
Volume6286
Publication statusPublished - 2010

Publication series

NameLNCS

Treatment code (Nähere Zuordnung)

  • Application

Cite this