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 ![]() | |
Braatz, Benjamin ![]() | |
Engel, Thomas ![]() | |
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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.