Symbolic Execution Techniques Extended to Systems. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Symbolic Execution Techniques Extended to Systems.

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
142 Consultations
391 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More