RotDroid: Cross-Orientation State Equivalence Testing for Detecting GUI Rotation Bugs in Android Apps

arXiv:2608.25425 · cs.SE, cs.AI · Submitted 2026-08-26 · Read on arXiv

cs.SE, cs.AI

Submitted: 2026-08-26

Updated: 2026-08-26

Comments: Accepted to ISSRE 2026 Research Track

Code: https://github.com/openatx/uiautomator2

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Consistency — 10× in this paper · explained in 3 episodes
• Adaptation — 9× in this paper · explained in 1 episode
• Fine-Tuning — 8× in this paper · explained in 5 episodes
• UI Transition Graph — 5× in this paper
• Abstraction — 4× in this paper · explained in 1 episode
• Accuracy — 4× in this paper · explained in 1 episode
• Core — 4× in this paper · explained in 2 episodes
• Generalization — 4× in this paper · explained in 13 episodes
• Reinforcement Learning — 4× in this paper · explained in 4 episodes
• Verification — 4× in this paper · explained in 2 episodes
• Benchmark — 3× in this paper · explained in 2 episodes
• Data Augmentation — 3× in this paper · explained in 7 episodes
• Ablation — 2× in this paper · explained in 1 episode
• Automated Software Engineering — 2× in this paper
• Robustness — 2× in this paper · explained in 5 episodes
• Trace — 2× in this paper · explained in 2 episodes
• Adaptability — 1× in this paper · explained in 1 episode
• Aggregation — 1× in this paper · explained in 1 episode
• Deep Reinforcement Learning — 1× in this paper · explained in 2 episodes
• Generalizability — 1× in this paper · explained in 6 episodes
• Graph Construction — 1× in this paper · explained in 3 episodes
• Hallucination — 1× in this paper · explained in 3 episodes
• Latent Space — 1× in this paper · explained in 7 episodes
• Low-Rank Adaptation (LoRA) — 1× in this paper · explained in 9 episodes
• State Management — 1× in this paper · explained in 3 episodes
• Task Decomposition — 1× in this paper · explained in 2 episodes
• Vision-Language Models (VLMs) — 1× in this paper · explained in 6 episodes

Sources

• Qwen3-VL Technical Report
• Chatting with GPT-3 for Zero-Shot Human-Like Mobile Automated GUI Testing

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties