1. Aiguier, M., Boulanger, F., Kanso, B.: A formal abstract framework for modelling and testing complex software systems. Theor. Comput. Sci. 455, 66–97 (2012),
http://dx.doi.org/10.1016/j.tcs.2011.12.072
2. Alexander, R.T., Offutt, A.J.: Criteria for testing polymorphic relationships. In: Proceedings of the 11th International Symposium on Software Reliability Engineering, ISSRE 2000. IEEE Computer Society, Washington, DC (2000),
http://dl.acm.org/citation.cfm?id=851024.856208
3. Ali, S., Briand, L.C., Rehman, M.J.U., Asghar, H., Iqbal, M.Z.Z., Nadeem, A.: A state-based approach to integration testing based on UML models. Inf. Softw. Technol. 49(11-12), 1087–1106 (2007),
http://dx.doi.org/10.1016/j.infsof.2006.11.002
4. Baresi, L., Pezzè, M.: An introduction to software testing. Electron. Notes Theor. Comput. Sci. 148(1), 89–111 (2006),
http://dx.doi.org/10.1016/j.entcs.2005.12.014
5. Benz, S.: Combining test case generation for component and integration testing. In: Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, A-MOST 2007, pp. 23–33. ACM, New York (2007),
http://doi.acm.org/10.1145/1291535.1291538