Publisher
Springer International Publishing
Reference25 articles.
1. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice. Morgan & Claypool Publishers, San Rafael (2012)
2. Schamai, W., Helle, P., Fritzson, P., Christiaan, J., Paredis, J.: Virtual verification of system designs against system requirements. In: Models in Software Engineering. LNCS, vol. 6627, pp. 75–89. Springer, Heidelberg (2010)
3. Roman, A.: Testing and Software Quality. PWN, Warsaw (2015) (in polish)
4. Fernandez, J.-C., Mounier, L., Pachon, C.: A model-based approach for robustness testing. In: Testing of Communication Systems. LNCS, vol. 3502, pp. 333–348. Springer, Heidelberg (2005)
5. Strug, J.: Mutation testing approach to negative testing. J. Eng. 2016, 13 p. (2016)