Which of the following can be executed by model-based testing tools?

Model-based testing tools are specifically designed to simulate and verify various computational

models, including finite state machines (FSM). FSMs are a core part of model-based testing, allowing

the definition of system behavior under different inputs and states. Model-based testing tools use

these machines to ensure that all states and transitions are covered during testing, providing a

systematic approach to test automation and validation​​.