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 contributionResearchpeer-review

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

Aichernig, B. (2010). Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. In Proc. of Formal Methods for Components and Objects (FMCO) 2009 (Vol. 6286, pp. 228-249). (LNCS). ..

Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. / Aichernig, Bernhard.

Proc. of Formal Methods for Components and Objects (FMCO) 2009. Vol. 6286 ., 2010. p. 228-249 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B 2010, Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. in Proc. of Formal Methods for Components and Objects (FMCO) 2009. vol. 6286, LNCS, ., pp. 228-249.
Aichernig B. Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. In Proc. of Formal Methods for Components and Objects (FMCO) 2009. Vol. 6286. . 2010. p. 228-249. (LNCS).
Aichernig, Bernhard. / Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. Proc. of Formal Methods for Components and Objects (FMCO) 2009. Vol. 6286 ., 2010. pp. 228-249 (LNCS).
@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",

}

TY - GEN

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

AU - Aichernig, Bernhard

PY - 2010

Y1 - 2010

M3 - Conference contribution

VL - 6286

T3 - LNCS

SP - 228

EP - 249

BT - Proc. of Formal Methods for Components and Objects (FMCO) 2009

PB - .

ER -