Details

Autor(en) / Beteiligte

• Gaston, C.
• Aiguier, M.
• Bahrami, D.
• Lapitre, A.

Titel

Symbolic Execution Techniques Extended to Systems

Ist Teil von

• 2009 Fourth International Conference on Software Engineering Advances, 2009, p.78-85

Ort / Verlag

IEEE

Erscheinungsjahr

2009

Quelle

IEEE Xplore

Beschreibungen/Notizen

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