Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems

@inproceedings{Krenn2009MappingUT,
  title={Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems},
  author={Willibald Krenn and Rupert Schlick and Bernhard K. Aichernig},
  booktitle={FMCO},
  year={2009}
}
The Unified Modeling Language (UML) is a well known and widely used standard for building software models. While it is familiar to many software engineers, it lacks standardized formal semantics. In this paper, we extend on the formalism of object-oriented action systems (OOAS) and describe a mapping of a selected UML-subset to OOAS by choosing one of the several possible semantics of UML. This mapping, together with the introduction of a trace semantics for OOAS, paves the way for applying… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

Model-based test generation using extended symbolic grammars

International Journal on Software Tools for Technology Transfer • 2014
View 7 Excerpts
Highly Influenced

Generating test cases via model-based simulation

2012 IEEE 13th International Conference on Information Reuse & Integration (IRI) • 2012
View 4 Excerpts
Highly Influenced

MoMut::UML Model-Based Mutation Testing for UML

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) • 2015
View 2 Excerpts

Similar Papers

Loading similar papers…