High-Coverage Testing of Navigation Models in Android Applications
Model checking JAVA programs using JAVA PathFinder