Frank Hilken

Testing models and model transformations using classifying terms

Frank Hilken, Martin Gogolla, Loli Burgueño et al. · Software & Systems Modeling · 2016 · 39 citations · Full text

Engineering, Software Testing, Knowledge Discovery +9

Achieving model quality through model validation, verification and exploration

Martin Gogolla, Frank Hilken, Khanh-Hoang Doan · Computer Languages Systems & Structures · 2017 · 39 citations

Model Validation, Engineering, Verification +7

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics

Martin Gogolla, Lars Hamann, Frank Hilken et al. · 2014 · 37 citations

Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.

Martin Gogolla, Frank Hilken · Modellierung · 2016 · 31 citations

Method Validation, Model Validation, Contemporary Uml +12

Employing classifying terms for testing model transformations

Martin Gogolla, Antonio Vallecillo, Loli Burgueño et al. · 2015 · 23 citations

Engineering, Ocl Models, Verification +21