DocumentCode
2051495
Title
Symbolic Execution Techniques Extended to Systems
Author
Gaston, Christophe ; Aiguier, Marc ; Bahrami, Diane ; Lapître, Arnault
Author_Institution
CEA LIST, Gif-sur-Yvette, France
fYear
2009
fDate
20-25 Sept. 2009
Firstpage
78
Lastpage
85
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.
Keywords
interactive systems; object-oriented programming; associated symbolic execution rules; component-based systems; interaction rules; interconnecting component models; Collaborative software; Costs; Databases; Job shop scheduling; Programming; Project management; Software engineering; Sorting; Taxonomy; Uncertainty; component-based systems; interaction semantics; symbolic execution;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Advances, 2009. ICSEA '09. Fourth International Conference on
Conference_Location
Porto
Print_ISBN
978-1-4244-4779-4
Electronic_ISBN
978-0-7695-3777-1
Type
conf
DOI
10.1109/ICSEA.2009.21
Filename
5298474
Link To Document