MDA-based automated generation method of test cases and supporting framework | IEEE Conference Publication | IEEE Xplore