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
, , , , ,
Software Engineering [SEN]
Protocols for Secure Infrastructure and E-commerce
Specification and Analysis of Embedded Systems

Calamé, J. (2007). Adaptive Test Case Execution in Practice. Software Engineering [SEN]. CWI.