Our lab is not only about research: we do a lot of development using Java, Python, Javascript, Haskell and other languages in combination with advanced libraries and frameworks. This development experience was very helpful during my job interviews, and employers were impressed by the projects we develop here in the lab.
Validation of Model Transformations – First Experiences using a White Box Approach
| Title | Validation of Model Transformations – First Experiences using a White Box Approach |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Küster, J. M., and M. AbdelRazik |
| Conference Name | In Proceedings Of MoDeVa'06 (3rd International Workshop on Model Development, Validation and Verification), associated to MODELS'06 (9th International Conference on Model Driven Engineering Languages And Systems) |
| Date Published | October |
| 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. |
| URL | http://modeva.itee.uq.edu.au/accepted_papers/main.pdf |
| Refereed Designation | Refereed |
