activity
20202025
most citedSymbolic Path-guided Test Cases for Models with Data and Time

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2024

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…