Bátori Gábor;  Asztalos Domonkos:   Testing aspect in model driven software development : [abstract].