coverage criteria for GUI Testing