Combining Model-Based and Capture-Replay Testing Techniques of Graphical User Interfaces: An Industrial Approach | IEEE Conference Publication | IEEE Xplore