Mutation-based model synthesis in model driven engineering

2nd Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), MUTATION'06

Volumn , Issue , 2006, Pages 13-

  Sen, Sagar ^a   Baudry, Benoit ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; SOFTWARE TESTING;

ARTIFICIAL INTELLIGENCE TECHNIQUES; AUTOMATIC TECHNIQUE; META MODEL; MODEL SYNTHESIS; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; MUTATION OPERATORS; PRECISE MODELS;

SOFTWARE DESIGN;

EID: 48749105094     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MUTATION.2006.12     Document Type: Conference Paper

References (13)

1. OMG Home page. http://www.omg.org.
2. OMG. MOF 2.0 Core Final Adopted Specification. http://www.omg.org/cgi- bin/doc?ptc/03-10-04, 2005.
3. Black P.E., Okun V. , and Yesha Y. . Mutation operators for specifications. In Proceedings of ASE'00 (Automated Software Engineering), Grenoble, France, September 2000.
4. K. Czarnecki and S. Helsen. Classification of model transformation approaches. In OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.
5. Ehrig, H. and Engels, G. and Kreowski, H.-J. and Rozenberg, G., editor. Handbook of Graph Grammars and Computing by Graph Transformation., volume Vol. 1-3. World Scientific, 1999.
6. S. Ghosh and A. Mathur. Interface mutation. Software Testing, Verification and Reliability, 11(4):227-247, 2001.
7. D. Harel and B. Rumpe. Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff. Technical report, Jerusalem, Israel, 2000.
8. J.-M. Mottu, B. Baudry, and Y. Le Traon. Mutation analysis testing for model transformations. In Proceedings of ECMDA'06 (European Conference on Model Driven Architecture), Bilbao, Spain, July 2006.
9. S. Kent. Model driven engineering. LNCS , Integrated Formal Methods: Third International Conference, Turku, Finland,, 2335:286, May 2002.
10. OMG. The Object Constraint Language Specification 2.0, OMG Document: ad/03- 01-07.
11. M. Provost. Himesis: A hierarchical subgraph matching kernel for model driven development. Master's thesis, McGill University, 2005.
12. R. Bardohl, G. Taentzer, M. Minas, A. Schurr. Handbook of Graph Grammars and Computing by Graph transformation, volume II: Applications, Languages and Tools. World Scientific, 1999.
13. T. Dinh-Trong, S. Ghosh, Robert France, Benoit Baudry, and Frank Fleurey. A taxonomy of faults for uml designs., october 2005. In Proceedings of MoDeVa'05 (Model Design and Validation Workshop associated to MoDELS'05), Montego Bay, Jamaica, 2005.