![Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/b765d8ce-35c9-40f9-a45e-b08edad6dc51/stvr1489-fig-0009-m.jpg)
Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library
![Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/7855f72e-de7c-42a8-8a87-be7a6cd04451/stvr1489-fig-0012-m.jpg)
Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library
![Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library Automatic test case generation from Simulink/Stateflow models using model checking - Mohalik - 2014 - Software Testing, Verification and Reliability - Wiley Online Library](https://onlinelibrary.wiley.com/cms/asset/ac093865-a384-4f16-bfa9-451a7c63d88f/stvr1489-fig-0001-m.jpg)