A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing