GUICop: Approach and toolset for specification‐based GUI testing. (1st August 2017)