A Metric Framework for the Gamification of Web and Mobile GUI Testing