Symbolic Execution Techniques Extended to Systems

Authors:
Christophe Gaston;Marc Aiguier;Diane Bahrami;Arnault Lapitre
Affiliations:
-;-;-;-
Venue:
ICSEA '09 Proceedings of the 2009 Fourth International Conference on Software Engineering Advances
Year:
2009

Citing 0
Cited 2

SAUML: A tool for symbolic analysis of UML-RT models

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Symbolic execution of communicating and hierarchically composed UML-RT state machines

NFM'12 Proceedings of the 4th international conference on NASA Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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.