1. OMG Unified Modeling Language $$^{{\rm TM}}$$ TM (OMG UML): Superstructure, Version 2.4.1. Object Management Group (OMG) (2011)
2. Mellor, S.J., Clark, A.N., Futagami, T.: Model-driven development. IEEE Softw. Mag. 20(5), 1418 (2003)
3. Uttin, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, Burlington (2007)
4. Faria, J.P., Paiva, A.C.R., Yang, Z.: Test generation from UML sequence diagrams. In: 8th International Conference on the Quality of Information and Communications Technology, pp. 245–250 (2012)
5. JUnit testing framework: http://www.junit.org (2014)