119 citations · 179 across the 15 of their papers we have counts for
3 papers · 1 filter
Adaptive Testing for Specification Coverage
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher +2
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification langua…
Model-Based Testing IoT Communication via Active Automata Learning
Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
This paper presents a learning-based approach to detecting failures in reactive systems. The technique is based on inferring models of multiple implementations of a common specific…
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Roderick Bloem, Goerschwin Fey, Fabian Greif +4
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a n…