Model-Based System Testing Using Visual Contracts
B. Güldali, M. Mlynarski, A. Wübbeke, G. Engels, in: Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering,” IEEE Computer Society, Washington, DC, USA, 2009, pp. 121–124.