1 |
M. Utting and B. Legeard, Practical Model-Based Testing, Morgan Kaufmann, 2010.
|
2 |
J. Zander, I. Schieferdecker, and P. J. Mosterman, Model-Based Testing for Embedded Systems, CRC Press, 2011.
|
3 |
W. L. Andrade and P. D. L. Machado, "Generating Test Cases for Real-Time Systems Based on Symbolic Models," Software Engineering, IEEE Transactions on, Vol.39, No.9, pp.1216-1229, 2013.
DOI
|
4 |
S. Mohalik, A. A. Gadkari, and A. Yeolekar, "Automatic test case generation from Simulink/Stateflow models using model checking," Softw. Test. Verif. Reliab., 2014.
|
5 |
P. Frohlich and J. Link, "Automated Test Case Generation from Dynamic Models," Presented at the ECOOP "00: Proceedings of the 14th European Conference on Object-Oriented Programming, 2000.
|
6 |
E. Farchi, A. Hartman, and S. S. Pinter, "Using a model-based test generator to test for standard conformance," IBM Systems Journal, Vol.41, No.1, pp.89-110, 2002.
DOI
|
7 |
A. Hartman and K. Nagin, "The AGEDIS tools for model based testing," ACM SIGSOFT Software Engineering Notes, Vol.29, No.4, pp.129-132, Jul., 2004.
DOI
|
8 |
A. J. Offutt, Y. Xiong, and S. Liu, "Criteria for generating specification-based tests," Presented at the Engineering of Complex Computer Systems, 1999. ICECCS "99. Fifth IEEE International Conference on, pp.119-129, 1999.
|