High-Coverage Testing of Navigation Models in Android Applications
Fernando Paulovsky, Esteban Pavese, Diego Garbervetsky · 2017
In this work, we present a tool that systematically discovers and tests the user-observable states of an Android application. We define an appropriate notion of test coverage, and we show the tool's potential by applying it to several publicly available applications.