Reference : Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF ...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10293
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems
English
Nachtigall, Nico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Braatz, Benjamin mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Engel, Thomas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2013
MoDeVVa@MoDELS
Boulanger, Frédéric
Famelis, Michalis
Ratiu, Daniel
CEUR-WS.org
1069
61-66
Yes
International
1613-0073
10th International Workshop on Model Driven Engineering, Verification and Validation
01-10-2013
Miami
USA
[en] symbolic execution ; graph transformation ; test case generation ; triple graph grammars ; EMF henshin
[en] Symbolic execution is a well-studied technique for analysing
the behaviour of software components with applications to test case generation. We propose a framework for symbolically executing satellite control procedures and generating test cases based on graph transformation
techniques. A graph-based operational symbolic execution semantics is
defined and the executed procedure models are used for generating test
cases by performing model transformations. The approach is discussed
based on a prototype implementation using the Eclipse Modelling Framework (EMF), Henshin and ECLiPSe-CLP tool ecosystem.
Fonds National de la Recherche - FnR
http://hdl.handle.net/10993/10293
61-66

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
09-paper.pdfPublisher postprint691.01 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.