Symbolic Execution Techniques Extended to Systems. - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Symbolic Execution Techniques Extended to Systems.


This paper presents a symbolic execution framework devoted to system models, recursively defined by interconnecting component models. Our concern is to allow one to explicitly define interaction rules between components, while taking into account those rules at the symbolic execution phase. The paper introduces a small set of primitives dedicated to this purpose, together with their associated symbolic execution rules.
Fichier principal
Vignette du fichier
ICSEA09.pdf (134.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00812189 , version 1 (11-04-2013)



Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre. Symbolic Execution Techniques Extended to Systems.. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩. ⟨hal-00812189⟩
133 View
368 Download



Gmail Facebook Twitter LinkedIn More