Development of GUI test coverage analysis and enforcement tools - Ferreira, Ricardo Daniel Ferreira (2009)