1. A search-based framework for automatic testing of MATLAB/Simulink models;Zhan;J. Syst. Softw.,2008
2. Empirical investigation of search algorithms for environment model-based testing of real-time embedded software;Iqbal,2012
3. Integrating model-based testing with evolutionary functional testing;Lindlar,2010
4. D-MINT, Deployment of Model-Based Technologies to Industrial Testing. http://www.elvior.com/motes/d-mint.
5. Model-Based Testing Using IBM Rational Functional Tester, Tech. rep., Developer Works;Feldstein,2005