Trace Generation
Once the test cases are generated, we run them on the application
through the Dalvik VM. To monitor the execution
of test cases, we configure the VM to log the details of each
test case into a trace file. Our traces capture three kinds of
events: GUI events, method calls, and exceptions. We also
monitor the VM operation to detect application bugs that
cause the VM to shut down prematurely