. Adrio, Validation, Verification, and Testing of Computer Software, ACM Computing Surveys, vol.14, issue.2, pp.159-192, 1982.
DOI : 10.1145/356876.356879

P. Ammann and J. Offuttanastasakis, Introduction to Software TestingAnalysis of Model Transformations via AlloyTest adequacy criteria for UML design models, Proceedings of MoDeVVa'07 in conjunction with MODELS'07 Software Testing, Verification and Reliability, pp.95-127, 2003.

. Baudry, From genetic to bacteriological algorithms for mutation-based testing, Software Testing, Verification and Reliability, vol.11, issue.2, pp.73-96, 2005.
DOI : 10.1002/stvr.313

. Baudry, Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, 2009.
DOI : 10.1145/1743546.1743583

URL : https://hal.archives-ouvertes.fr/inria-00542747

. Brottier, Metamodelbased Test Generation for Model Transformations: an Algorithm and a Tool, Proceedings of ISSRE'06 (Int. Symposium on Software Reliability Engineering), pp.85-94, 2006.

. Cohen, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.
DOI : 10.1109/32.605761

. Cohen, The combinatorial design approach to automatic test generation, IEEE Software, vol.13, issue.5, pp.83-88, 1996.
DOI : 10.1109/52.536462

. Cohen, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.633-650, 2008.
DOI : 10.1109/TSE.2008.50

. Cohen, Testing across configurations, Proceedings of Workshop on Advances in Model-based Software Testing (A-MOST), pp.1-9, 2006.
DOI : 10.1145/1218776.1218785

J. Czerwonka, Pairwise testing tools, 2008.

. Andrews, A Tool-Supported Approach to Testing UML Design Models, Proceedings of ICECCS'05, pp.519-528, 2005.

. Ehrig, Generating Instance Models from Meta Models, Proceedings of FMOODS'06, pp.156-170, 2006.
DOI : 10.1007/s10270-008-0095-y

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.527.7171

. Fleurey, Towards Dependable Model Transformations: Qualifying Input Test Data, Software and Systems Modeling, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477567

. Gérard, Efficient System Modeling of Complex Real-Time Industrial Networks Using the ACCORD/UML Methodology, Proceedings of DIPES'00, pp.11-22, 2000.
DOI : 10.1007/978-0-387-35409-5_2

. Gokhale, Model Driven Middleware, Elsevier Journal of Science of Computer Programming: Special Issue on Foundations and Applications of Model Driven Architecture, vol.73, issue.1, pp.39-58, 2008.
DOI : 10.1002/0470862084.ch7

. Hennessy, An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.104-113, 2005.
DOI : 10.1145/1101908.1101926

. Klint, Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology, vol.14, issue.3, pp.331-380, 2005.
DOI : 10.1145/1072997.1073000

. Kuhn, Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004.
DOI : 10.1109/TSE.2004.24

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.5094

J. M. Küster, Definition and validation of model transformations, Software & Systems Modeling, vol.44, issue.2, pp.233-259, 2006.
DOI : 10.1007/s10270-006-0018-8

. Lämmel, Controllable Combinatorial Coverage in Grammar-Based Testing, Proceedings of TestCom, pp.19-38, 2006.
DOI : 10.1007/11754008_2

G. Madl, S. Abdelwahed, and D. C. Schmidt, Verifying distributed real-time properties of embedded systems via graph transformations and model checking, Real-Time Systems, vol.40, issue.1, pp.77-100, 2006.
DOI : 10.1007/s11241-006-6883-y

. Offutt, Automatically detecting equivalent mutants and infeasible paths, Software Testing, Verification and Reliability, vol.7, issue.3, pp.165-192, 1997.
DOI : 10.1002/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.2798

T. J. Ostrand and M. J. Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, vol.31, issue.6, pp.676-686, 1988.
DOI : 10.1145/62959.62964

. Sen, On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing Lillehamer, NorwayPartial Model Completion in Model Driven Engineering using Constraint Logic Programming, Proceedings of ICST'08 (International Conference on Software Testing Verification and Validation Proceedings of INAP'07 (International Conference on Applications of Declarative Programming and Knowledge Management, pp.328-337, 2007.

G. Schmidt and . Biswas, An Integrated Planning and Adaptive Resource Management Architecture for Distributed Real-time Embedded Systems, IEEE Transactions on Computers, Special Issue on Autonomic Network Computing, 2009.

. Shiba, Using Artificial Life Techniques to Generate Test Cases for Combinatorial Testing, Proceedings of COMPSAC '04: 28th Annual International Computer Software and Applications Conference, pp.72-77, 2004.

. Utting, MBT Tools, Retrieved December, 2007.

. Utting, Practical Model-Based TestingTConfig -Test configuration generator, 2007.

. Williams, A measure for component interaction test coverage, Proceedings ACS/IEEE International Conference on Computer Systems and Applications, pp.304-311, 2001.
DOI : 10.1109/AICCSA.2001.934001