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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proc. of Formal Methods for Components and Objects (FMCO) 2009
Publisher	.
Pages	228-249
Volume	6286
Publication status	Published - 2010

Name	LNCS

Treatment code (Nähere Zuordnung)

@inproceedings{8b6f5b3b76244ad3b6cd4322ee36d306,

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

author = "Bernhard Aichernig",

year = "2010",

language = "English",

volume = "6286",

series = "LNCS",

publisher = ".",

pages = "228--249",

booktitle = "Proc. of Formal Methods for Components and Objects (FMCO) 2009",

}