🤖 AI Summary
Existing approaches to constructing Android application Activity Transition Graphs (ATGs) are hindered by infeasible paths in static analysis and insufficient coverage in dynamic exploration, making it difficult to generate high-quality ATGs. This work formulates ATG construction as a seed-supervised link prediction task and introduces an innovative method that leverages large language models (LLMs) to generate functional summaries of Activities. It further encodes UI control triggering information as edge attributes and integrates graph neural networks with an auxiliary reconstruction loss to enhance semantic understanding of user interactions. Evaluated on multiple benchmark datasets, the proposed approach significantly outperforms state-of-the-art methods, substantially improving navigation efficiency and coverage for automated GUI exploration tools.
📝 Abstract
Android applications are organized around activities that provide visual Graphical User Interface (GUI) containers that host the UI and handle user interaction events. Activity Transition Graphs (ATGs) have been widely used to model apps' GUI navigation. However, the construction of high-quality ATGs is challenging: ATGs based on static analysis may miss acceptable transitions and may extract infeasible ones; while dynamically explored ATGs can yield incomplete transitions. Recent learning-based approaches can treat ATG construction as a seed-supervised link-prediction task. However, the use of activity-layout and widget-trigger information for ATG construction remains limited. We propose ATGBuilder, a feature-assisted graph-learning approach for seed-supervised ATG construction. ATGBuilder uses a Large Language Model (LLM) to summarize UI activity metadata from layouts into compact textual functionality summaries. ATGBuilder explicitly models widget-trigger information into the edge attribute: It then uses an auxiliary widget-attribute reconstruction objective on this information during model training. ATGBuilder's performance was evaluated across a series of ablations on the frontmatter corpus, and an experiment on benchmark using manually-checked ground-truth ATGs. Experiments on multiple benchmarks show that ATGBuilder significantly outperforms state-of-the-art methods. We further demonstrate its effectiveness by improving automated GUI exploration tools through better navigation guidance.