Model-based testing tools support the creation and execution of tests based on models of the system under test. Finite state machines (FSMs) are often used in model-based testing to describe the expected behavior of a system during execution. FSMs help in defining the states of the system and the transitions between these states based on events, which can then be used to generate test cases that validate the system's behavior against the model.