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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
https://hal-ecp.archives-ouvertes.fr/hal-00812189
Contributor : Marc Aiguier <>
Submitted on : Thursday, April 11, 2013 - 6:05:30 PM
Last modification on : Thursday, February 7, 2019 - 4:18:57 PM
Long-term archiving on : Friday, July 12, 2013 - 4:09:13 AM

File

ICSEA09.pdf
Files produced by the author(s)

Identifiers

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.. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21 ⟩. ⟨hal-00812189⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

241

Files downloads

386

Contact

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