 |
 |
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.
Cited literature [15 references]
https://hal-ecp.archives-ouvertes.fr/hal-00812189
Contributor : Marc Aiguier <>
Submitted on : Thursday, April 11, 2013 - 6:05:30 PM
Last modification on : Wednesday, April 8, 2020 - 3:54:34 PM
Document(s) archivé(s) le : Friday, July 12, 2013 - 4:09:13 AM
Contributor : Marc Aiguier <>
Submitted on : Thursday, April 11, 2013 - 6:05:30 PM
Last modification on : Wednesday, April 8, 2020 - 3:54:34 PM
Document(s) archivé(s) le : Friday, July 12, 2013 - 4:09:13 AM
File
ICSEA09.pdf
Files produced by the author(s)
