Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey. - Marek Janicki; Mika Katara; Tuula Pääkkönen (Softw. Test. Verification Reliab., 2012)