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