Skip to content
Open access

From Suspicious Signals to Crashes: Guiding Bug-Driven GUI Testing via Code-Inspired Tracing

Jun 2026 · Proceedings of the ACM on Software Engineering · Vol 3, pp. 3415 - 3438 · 0 citations · 78 references

TL;DR

TraceDroid is proposed, a novel automated GUI testing approach that leverages suspicious code-level signals to guide dynamic exploration and successfully detects 21 previously unknown crash bugs in 116 popular Google Play apps, demonstrating its effectiveness in real-world scenarios.

Abstract

Mobile applications frequently suffer from crash bugs that are triggered under specific GUI interaction sequences. Existing automated GUI testing techniques mainly emphasize increasing coverage through diverse exploration strategies, but they often fail to reach the precise interaction contexts that lead to crashes, resulting in low bug detection efficiency. This paper proposes TraceDroid, a novel automated GUI testing approach that leverages suspicious code-level signals to guide dynamic exploration. Instead of treating static analysis as an independent detection method, TraceDroid uses heuristic rules distilled from real crash reports to detect suspicious code segments, associate them with GUI widgets, and collect code-level interaction signals. It then constructs the Activity Transition Graph (ATG), performs rough path generation, and employs LLM-based executable path completion to produce a set of suspicious paths. Finally, TraceDroid executes these paths through global path planning, local path generation, and execution-aware monitoring to efficiently expose crashes. We evaluate TraceDroid on 70 real crash bugs across 42 open-source apps, comparing it with 15 state-of-the-art baselines. TraceDroid achieves the best performance, with a recall of 77%, exceeding the best baseline by 28%, while maintaining comparable or higher coverage. Furthermore, TraceDroid successfully detects 21 previously unknown crash bugs in 116 popular Google Play apps, of which 15 have been fixed and 6 confirmed by developers, demonstrating its effectiveness in real-world scenarios.

Read PDF

Similar papers

Preprint Aug 2026

Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny

This paper investigates automated fault localization for verification-aware languages by comparing two paradigms: state-based and counterexample-based localization, and shows that counterexample-based approaches substantially outperform state-based localization in this setting.

Álvaro F. Silva, Isabel Amaral, João Pascoal Faria et al. · 1 citation · ⚡1
Preprint Aug 2026

CodeMechanic: Bug-Property-Guided Program Mitigation

This work presents CodeMechanic, a bug-property-guided system for generating constrained mit- igations for spatial memory corruption that combines a two-dimensional static and dynamic context extractor with in-prompt debugging knowledge and stepwise val- idation to limit the effect of LLM errors.

Han Zheng, Rafaila Galanopoulou, Ilia Shumailov et al. · 0 citations
Jul 2026

ProfMalPlus: Agent-Coordinated Detection of Malicious NPM Packages via Static-Dynamic Analysis Synergy

ProfMalPlus, a malicious NPM package detector combining object-sensitive behavior graphs with coordinated LLM reasoning over annotated code slices, is proposed, a malicious NPM package detector combining object-sensitive behavior graphs with coordinated LLM reasoning over annotated code slices.

Yiheng Huang, Zhijia Zhao, Bihuan Chen et al. · 1 citation
Conference Jul 2026

Automated Attack Trace Generation: Investigating Coverage and Cleanup Resilience

Attack trace datasets reflecting each organization's network and device configuration are essential for evaluating detection rules and incident response procedures, yet generalized datasets abstract such configurations away. To address this, we proposed a method that automatically selects, executes, and collects traces...

Masahito Kumazaki, Daisuke Kotani, Yasuo Okabe · 0 citations
Conference Jul 2026

LogHound: Coverage-Aware Path Reconstruction for Log-Based Fault Localization

In large-scale systems, fault localization remains expensive because bug reports are often ambiguous and incomplete. In practice, developers rely heavily on runtime logs and coverage data as critical clues for reasoning about how faults propagate through systems. However, these rich diagnostic signals are rarely integr...

Zheyuan Lin, Yang Feng, Jian-Jun Chen et al. · 0 citations
Jul 2026

Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE

KLEECopilot, a Large Language Model-guided directed symbolic execution approach built on KLEE, exhibits only marginal sensitivity to model scale, supporting the efficacy of integrating security semantics and loop-exit prioritization.

Lingfeng Chen, Tao Xiao, Masanari Kondo et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.