1 citations · 1 across the 5 of their papers we have counts for
6 papers
Runtime Verification of Interactions Using Automata
Chana Weil-Kennedy, Darine Rammal, Christophe Gaston +1
Runtime verification consists in observing and collecting the execution traces of a system and checking them against a specification, with the objective of raising an error when a…
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize e…
Symbolic Path-guided Test Cases for Models with Data and Time
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall +1
This paper focuses on generating test cases from timed symbolic transition systems. At the heart of the generation process are symbolic execution techniques on data and time. Test…
A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach…
Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to…
A small-step approach to multi-trace checking against interactions
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for inte…