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…