Mutation analysis testing for model transformations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4066 LNCS, Issue , 2006, Pages 376-390

  Mottu, Jean Marie ^a   Baudry, Benoit ^a   Le Traon, Yves ^b  

^a CAMPUS DE BEAULIEU   (France)

^b France Télécom RandD ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DATA REDUCTION; ERROR ANALYSIS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING;

IMPLEMENTATION LANGUAGES; MODEL ORIENTED PROGRAMMING; MODEL TRANSFORMATION LANGUAGES; MUTATION ANALYSIS;

COMPUTER SOFTWARE REUSABILITY;

EID: 33746388879     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787044_28     Document Type: Conference Paper

References (14)

1. Voas, J.M. and K. Miller, The Revealing Power of a Test Case. Software Testing, Verification and Reliability, 1992. 2(1): p. 25-42.
2. Offutt, A.J., J. Pan, K. Tewary, and T. Zhang, An experimental evaluation of data flow and mutation testing. Software Practice and Experience, 1996. 26(2).
3. DeMillo, R., R. Lipton, and F. Sayward, Hints on Test Data Selection: Help For The Practicing Programmer. IEEE Computer, 1978. 11(4): p. 34-41.
4. Ma, Y.-S., J. Offutt, and Y.R. Kwon, MuJava: An Automated Class Mutation System. Software Testing, Verification and Reliability, 2005. 15(2): p. 97-133.
5. Muller, P.-A., F. Fleurey, D. Vojtisek, Z. Drey, D. Pollet, F. Fondement, P. Studer, and J.-M. Jézéquel. On Executable Meta-Languages applied to Model Transformations. in Model Transformation in Practice Workshop, part of the MoDELS 2005 Conference. 2005. Montego Bay, Jamaica.
6. Lawley, M. and J. Steel. Practical Declarative Model Transformation With Tefkat. in Model Transformation in Practice Workshop, part of the MoDELS 2005 Conference. 2005. Montego Bay, Jamaica.
7. Bézivin, J., N. Farcel, J.-M. Jézéquel, B. Langlois, and D. Pollet. Reflective model driven engineering, in UML'03. 2003. San Francisco, CA, USA.
8. Judson, S.R., R. France, and D.L. Carver. Model Transformations at the Metamodel Level. in Workshop in Software Model Engineering (in conjunction with UML'03). 2003. San Francisco, CA, USA.
9. Steel, J. and M. Lawley. Model-Based Test Driven Development of the Tefkat Model-Transformation Engine, in ISSRE'04 (Int. Symposium on Software Reliability Engineering). 2004. Saint-Malo, France.
10. Lin, Y., J. Zhang, and J. Gray, A Testing Framework for Model Transformations, in Model-Driven Software Development - Research and Practice in Software Engineering. 2005, Springer.
11. Küster, J.M. Systematic Validation of Model Transformations. in WiSME'04(associated to UML'04). 2004. Lisbon, Portugal.
12. Fleurey, F., J. Steel, and B. Baudry. Validation in Model-Driven Engineering: Testing Model Transformations. in MoDeVa. 2004. Rennes, France.
13. Ghosh, S. and A. Mathur, Interface mutation. Software Testing, Verification and Reliability, 2001.11(4): p. 227-247.
14. Trung, D.-T., S. Ghosh, F. Robert, B. Baudry, and F. Fleurey. A Taxonomy of Faults for UML Designs. in 2nd MoDeVa workshop - Model design and Validation, in conjunction with MoDELSO5. 2005. Montego Bay, Jamaica.