Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
暂无分享,去创建一个
Jim Steel | Yves Le Traon | Benoit Baudry | Franck Fleurey | Erwan Brottier | Y. L. Traon | B. Baudry | F. Fleurey | J. Steel | E. Brottier | Franck Fleurey | Jim Steel
[1] Dániel Varró,et al. Generic and Meta-transformations for Model Transformation Engineering , 2004, UML.
[2] Jeffrey G. Gray,et al. A Testing Framework for Model Transformations , 2005, Model-Driven Software Development.
[3] Jim Steel,et al. Model-based test driven development of the Tefkat model-transformation engine , 2004, 15th International Symposium on Software Reliability Engineering.
[4] Alexander L. Wolf,et al. A Case for Test-Code Generation in Model-Driven Systems , 2003, GPCE.
[5] Jean-Marc Jézéquel,et al. Reflective Model Driven Engineering , 2003, UML.
[6] Jochen Malte Küster,et al. Definition and validation of model transformations , 2006, Software & Systems Modeling.
[7] D. Carver,et al. Supporting rigorous evolution of UML models , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.
[8] B. Baudry,et al. Validation in model-driven engineering: testing model transformations , 2004, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004..
[9] Yves Le Traon,et al. Mutation Analysis Testing for Model Transformations , 2006, ECMDA-FA.
[10] Martin Gogolla,et al. Validation of UML and OCL Models by Automatic Snapshot Generation , 2003, UML.
[11] Marc J. Balcer,et al. The category-partition method for specifying and generating fuctional tests , 1988, CACM.
[12] Jean-Marc Jézéquel,et al. Automatic test case optimization: a bacteriologic algorithm , 2005, IEEE Software.
[13] Jean-Marc Jézéquel,et al. Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.
[14] Robert B. France,et al. Test adequacy criteria for UML design models , 2003, Softw. Test. Verification Reliab..
[15] Reiko Heckel,et al. Towards Model-Driven Testing , 2003, TACoS.