Gogolla, MartinVallecillo, AntonioBurgueno, LoliHilken, FrankJürjens, JanSchneider, Kurt2017-06-212017-06-212017978-3-88579-661-9enUML and OCL modelModel testingModel validation and verificationEmploying Classifying Terms for Testing Model TransformationsText/Conference Paper1617-5468