Adaptive Test Case Execution in Practice

Behavior-oriented Adaptation in Testing (BAiT) is a toolset, which supports test generation and execution for deterministic and nondeterministic systems with data. It covers the generation of test cases from a (formal) system specification and test purposes, the identification and selection of test data during test execution and, where necessary and possible, the dynamic adaptation of a test run to the reactions of the implementation under test. The test generation part of the toolset is based on the tool Test Generation with Verification Techniques (TGV) from the Caesar/Aldébaran Development Package (CADP