An Android GUI Crawler for Test Case Generation and Runtime Analysis - Miguel Bruno Rego Freitas (2016)