An Automatic Generation Method of Executable Test Case Using Model-Driven Architecture | IEEE Conference Publication | IEEE Xplore