2 papers
cs.SE2024
Distributed Monitoring of Timed Properties
Léo Henry, Thierry Jéron, Nicolas Markey +1
In formal verification, runtime monitoring consists of observing the execution of a system in order to decide as quickly as possible whether or not it satisfies a given property. W…
cs.AI2024
Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory
Ocan Sankur, Thierry Jéron, Nicolas Markey +2
We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to rea…