End User Involvement in Exploratory Test Automation for Web Applications