]. T. Ostrand, M. J. Balcer, F. Fleurey, J. Steel, and B. Baudry, The category-partition method for specifying and generating functional tests Validation in Model-Driven Engineering: Testing Model Transformations, OMG. MOF 2.0 Core Final Adopted Specification. Accessed Proceedings of MoDeVa'04 (Model Design and Validation Workshop associated to ISSRE'04), pp.3-10, 1988.

B. Baudry, J. Jézéquel, and Y. Le-traon, Robustness and diagnosability of OO systems designed by contracts, Proceedings Seventh International Software Metrics Symposium, p.33, 2001.
DOI : 10.1109/METRIC.2001.915535
URL : https://hal.archives-ouvertes.fr/hal-00794315

E. Cariou, R. Marvie, L. Seinturier, L. Duchien, T. Dinh-trong et al., OCL for the Specification of Model Transformation Contracts Proceedings of Workshop OCL and Model Driven Engineering A Tool-Supported Approach to Testing UML Design Models JAL: Java like Action Language Specification, Version 1.1, Proceedings of ICECCS'05 Test adequacy criteria for UML design models. Software Testing, Verification and Reliability. Developing Service Oriented Systems Using an Aspect-Oriented Model Driven Framework. International Journal of Cooperative Information Systems, pp.95-127, 2003.