To verify the execution result of an Android application,
the proposed approach allows user to insert assertions that can
be used to check if the outputs of UI components are correct at
runtime. The assertion can be inserted when recording the user
interactions right after the occurrence of the target UI
component for the assertion