Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report | IEEE Conference Publication | IEEE Xplore