Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces | IEEE Conference Publication | IEEE Xplore