Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability...