Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems

Nachtigall, Nico; Braatz, Benjamin; Engel, Thomas

Reference : Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF ...


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10293

Title :	Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems
Language :	English
Author, co-author :	Nachtigall, Nico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Braatz, Benjamin [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Engel, Thomas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2013
Main document title :	MoDeVVa@MoDELS
Editor :	Boulanger, Frédéric
	Famelis, Michalis
	Ratiu, Daniel
Publisher :	CEUR-WS.org
Collection and collection volume :	1069
Pages :	61-66
Peer reviewed :	Yes
Audience :	International
ISBN :	1613-0073
Event name :	10th International Workshop on Model Driven Engineering, Verification and Validation
Event date :	01-10-2013
Event place (city) :	Miami
Event country :	USA
Keywords :	[en] symbolic execution ; graph transformation ; test case generation ; triple graph grammars ; EMF henshin
Abstract :	[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.
Funders :	Fonds National de la Recherche - FnR
Permalink :	http://hdl.handle.net/10993/10293
Commentary :	61-66

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	09-paper.pdf		Publisher postprint	691.01 kB	Request a copy

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices