IEEE - Institute of Electrical and Electronics Engineers, Inc. - From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation

2009 9th International Conference on Quality Software (QSIC)

Author(s): Chimisliu, V. ; Schwarzl, C. ; Peischl, B.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 173 - 178
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.31
Regular:

Abstract-A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of software-enabled systems... View More

Advertisement