from the model automatically through a supporting tool.
Hu and Neamtiu [11] categorize the Android-specific bugs
and present a test approach that combines automated event
and test case generation. Particularly, the approach generates
events in both random and deterministic ways using Android
Monkey and feeds these events to the applications. The test
execution results are logged and analyzed to detect potential
activity bugs, event bugs, and type errors.