On combining multi-formalism knowledge to select models for model transformation testing

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 328-337

  Sen, Sagar ^a   Baudry, Benoit ^a   Mottu, Jean Marie ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; MANAGEMENT INFORMATION SYSTEMS; RELATIONAL DATABASE SYSTEMS; TESTING; UNIFIED MODELING LANGUAGE; VERIFICATION;

MODEL TRANSFORMATIONS; TEST MODELING;

MATHEMATICAL MODELS;

EID: 50649125153     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.62     Document Type: Conference Paper

References (19)

1. http://alloy.mit.edu.
2. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. Uml2alloy: A challenging model transformation. In MoDELS, pages 436-450, 2007.
3. K. Anastasakis, B. Bordbarand, and J. M. Kuster. Analysis of model transformations via alloy. In MoDeVVa'07 associated with MoDeLs, Nashville, Tennessee, October 2007.
4. B. Baudry, F. Fleurey, J.-M. Jezequel, and Y. L. Traon. Automatic test cases optimization using a bacteriological adaptation model: Application to . net components. In International Conference on Autoamated Software Engineering, Edinburgh, September 2002.
5. J. Bezivin, B. Rumpe, A. Schurr, and L. Tratt. Model transformations in practice workshop, october 3rd 2005, part of models 2005. In Proceedings of MoDELS, 2005.
6. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on java predicates. In Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, 2002.
7. E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. L. Traon. Metamodel-based test generation for model transformations: an algorithm and a tool. In Proceedings of ISSRE' 06, Raleigh, NC, USA, 2006.
8. A. Darabos, A. Pataricza, and D. Varro. Towards testing the implementation of graph transformations. In GT-VMT workshop associated to ETAPS'06, pages 69-80, Vienna, Austria, April 2006.
9. K. Ehrig, J. Küster, G. Taentzer, and J. Winkelmann. Generating instance models from meta models. In FMOODS'06 (Formal Methods for Open Object-Based Distributed Systems), pages 156-170., Bologna, Italy, June 2006.
10. F. Fleurey, B. Baudry, P.-A. Muller, and Y. L. Traon. Towards dependable model transformations: Qualifying input test data. Software and Systems Modelling (Accepted), 2007.
11. F. Fleurey, J. Steel, and B. Baudry. Validation in model-driven engineering: Testing model transformations. In MoDeVa'04 (Model Design and Validation Workshop associated to ISSRE'04), Rennes, France, November 2004.
12. B. Frank. Eclipse Modeling Framework, volume 1 of The Eclipse Series. Addison-Wesley, 2004.
13. D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, March 2006.
14. J.-M. Jezequel, D. Deveaux, and Y. L. Traon. Reliable objects: a lightweight approach applied to java. IEEE Software, 18(4):76-83, 2001.
15. J. Küster and M. Abd-El-Razik. Validation of model transformations - first experiences using a white box approach. In MoDeVa'06 (Model Design and Validation Workshop associated to MoDELS'06), Genova, Italy, October 2006.
16. J.-M. Mottu, B. Baudry, and Y. L. Traon. Mutation analysis testing for model transformations. In Proceedings of ECMDA'06 (European Conference on Model Driven Architecture), Bilbao, Spain, July 2006.
17. OMG. MOF 2.0 Core Final Adopted Specification. In http://www.omg.org/ cgi-bin/doc?ptc/03-10-04, 2005.
18. OMG. The Object Constraint Language Specification 2.0, OMG Document: ad/03- 01-07, 2007.
19. S. Sen, B. Baudry, and D. Precup. Partial model completion in model driven engineering using constraint logic programming. In International Conference on the Applications of Declarative Programming, 2007.