Author:
Tekaya Manel,Bennani Mohamed Taha,Ebdelli Nedra,Ben Ahmed Samir
Publisher
Springer International Publishing
Reference14 articles.
1. Simullink Design Verifer 1: User’ Guide. Mathworks, Inc (2012)
2. Getting Started Guide: R2014b. Mathworks, Inc (2014)
3. Fraser, G., Wotawa, F., Ammann, P.: Issues in using model checkers for test case generation. J. Syst. Softw. 82(9), 1403–1418 (2009). Elsevier
4. Gadkari, A., Yeolekar, A., Suresh, J., Ramesh, S., Mohalik, S., Shashidhar, K.: Automatic test case generation from simulink/stateflow models using model checking. Softw. Test. Verification Reliab. 24(2), 155–180 (2014). Wiley Online Library
5. Advances in Intelligent Systems and Computing;M Tekaya,2015
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献