Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems - View it on GitHub