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​​.