analysis and testing of ajax - based single - page web applications .
Coverage criteria for GUI testing