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 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

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⟩

Share

Metrics

Record views

241

Files downloads

386