Symbolic Execution Techniques Extended to Systems.

Christophe Gaston 1 Marc Aiguier 2 Diane Bahrami 1 Arnaud Lapitre 1
1 LIST - Laboratoire d'Intégration des Systèmes et des Technologies
2 MAS - Mathématiques Appliquées aux Systèmes - EA 4037
Abstract : 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.
Type de document :
Communication dans un congrès
Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. IEEE Computer Society, pp.78-85, 2009, 〈10.1109/icsea.2009.21 〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
https://hal-ecp.archives-ouvertes.fr/hal-00812189
Contributeur : Marc Aiguier <>
Soumis le : jeudi 11 avril 2013 - 18:05:30
Dernière modification le : lundi 24 septembre 2018 - 11:34:02
Document(s) archivé(s) le : vendredi 12 juillet 2013 - 04:09:13

Fichier

ICSEA09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

EC-PARIS | ECP-DR | MAS | CEA | DRT | LIST | MICS

Citation

Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre. Symbolic Execution Techniques Extended to Systems.. Kenneth Boness, João M. Fernandes, Jon G. Hall, Ricardo Jorge Machado, Roy Oberhauser. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. IEEE Computer Society, pp.78-85, 2009, 〈10.1109/icsea.2009.21 〉. 〈hal-00812189〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

280

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD