All seminars will take place on Fridays at 11 a.m., either via Zoom or in-person. Check seminar details.
March 16, 2018
2:00pm - 3:00pm
An Android application is driven by a graphical user interface. GUI objects and the event handlers associated with them ultimately determine the possible flow of control and data. We developed the first static analyses to model GUI-related Android objects and the actions of their associated event handlers. The resulting control-flow model - the window transition graph - was subsequently used for test generation, detection of energy-related defects, and responsiveness profiling. We also discuss generalizations of the control-flow analysis to wearable devices (e.g., smartwatches). The talk will describe these techniques and their role as building blocks for analysis, testing, and profiling of Android and Android Wear apps.