Skip to Main content Skip to Navigation
Conference papers

Symbolic Execution Techniques Extended to Systems.

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 metadata

Cited literature [15 references]  Display  Hide  Download
Contributor : Marc Aiguier Connect in order to contact the contributor
Submitted on : Thursday, April 11, 2013 - 6:05:30 PM
Last modification on : Tuesday, July 20, 2021 - 3:05:15 AM
Long-term archiving on: : Friday, July 12, 2013 - 4:09:13 AM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles