Validation of Model Transformations – First Experiences Using a White Box Approach Export

@incollection{citeulike:5859890, abstract = {Validation of model transformations is important for ensuring their quality. Successful validation must take into account the characteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and propose three techniques that can be used for constructing test cases.}, author = {K\"{u}ster, Jochen and Abd-El-Razik, Mohamed}, citeulike-article-id = {5859890}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-69489-2_24}, citeulike-linkout-1 = {http://www.springerlink.com/content/c581h8v535522720}, doi = {10.1007/978-3-540-69489-2_24}, journal = {Models in Software Engineering}, keywords = {2007, model\_transformation}, pages = {193--204}, posted-at = {2009-09-30 14:33:46}, priority = {2}, title = {Validation of Model Transformations – First Experiences Using a White Box Approach}, url = {http://dx.doi.org/10.1007/978-3-540-69489-2_24}, year = {2007} }

TY - CHAP ID - citeulike:5859890 L3 - citeulike-article-id:5859890 N2 - Validation of model transformations is important for ensuring their quality. Successful validation must take into account the characteristics of model transformations and develop a suitable fault model on which test case generation can be based. In this paper, we report our experiences in validating a number of model transformations and propose three techniques that can be used for constructing test cases. JF - Models in Software Engineering EP - 204 TI - Validation of Model Transformations – First Experiences Using a White Box Approach SP - 193 KW - 2007 KW - model_transformation AU - Küster, Jochen AU - Abd-El-Razik, Mohamed PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-69489-2_24 ER -