High-Coverage Testing of Navigation Models in Android Applications. - Fernando Paulovsky; Esteban Pavese; Diego Garbervetsky (AST@ICSE, 2017)