Cover Image

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xiong, Yiheng, Song, Shiwen, Ma, Bo, Su, Ting, Xie, Xiaofei
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
by: Xiong, Yiheng, et al.
Published: (2026)

Improving Random Testing via LLM-powered UI Tarpit Escaping for Mobile Apps
by: Xu, Mengqian, et al.
Published: (2026)

Vision-Based Mobile App GUI Testing: A Survey
by: Yu, Shengcheng, et al.
Published: (2023)

Scenario-Guided LLM-based Mobile App GUI Testing
by: Yu, Shengcheng, et al.
Published: (2025)

Practical, Automated Scenario-based Mobile App Testing
by: Yu, Shengcheng, et al.
Published: (2024)

Enhancing Automated Program Repair via Faulty Token Localization and Quality-Aware Patch Refinement
by: Kong, Jiaolong, et al.
Published: (2025)

FCGHunter: Towards Evaluating Robustness of Graph-Based Android Malware Detection
by: Song, Shiwen, et al.
Published: (2025)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
by: Ma, Lezhi, et al.
Published: (2024)

Evaluating LLM-Based Mobile App Recommendations: An Empirical Study
by: Motger, Quim, et al.
Published: (2025)

Rapid Mobile App Development for Generative AI Agents on MIT App Inventor
by: Gao, Jaida, et al.
Published: (2024)

Leveraging LLM Agents for Automated Video Game Testing
by: Wang, Chengjia, et al.
Published: (2025)

FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App GUI Testing
by: He, Jinlong, et al.
Published: (2026)

Bias Testing and Mitigation in LLM-based Code Generation
by: Huang, Dong, et al.
Published: (2023)

Understanding the Characteristics of LLM-Generated Property-Based Tests in Exploring Edge Cases
by: Tanaka, Hidetake, et al.
Published: (2025)

Beyond Accuracy: Policy Invariance as a Reliability Test for LLM Safety Judges
by: Weng, Shihao, et al.
Published: (2026)

Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
by: Saha, Antu, et al.
Published: (2024)

MoDitector: Module-Directed Testing for Autonomous Driving Systems
by: Wang, Renzhi, et al.
Published: (2025)

Scaling Test-Driven Code Generation from Functions to Classes: An Empirical Study
by: Liang, Yunhao, et al.
Published: (2026)

AnomalyGen: An Automated Semantic Log Sequence Generation Framework with LLM for Anomaly Detection
by: Li, Xinyu, et al.
Published: (2025)

Practitioner Views on Mobile App Accessibility: Practices and Challenges
by: Indika, Amila, et al.
Published: (2026)

PopSweeper: Automatically Detecting and Resolving App-Blocking Pop-Ups to Assist Automated Mobile GUI Testing
by: Guo, Linqiang, et al.
Published: (2024)

Analysis of Marketed versus Not-marketed Mobile App Releases
by: Nayebi, Maleknaz, et al.
Published: (2024)

LLM-based Unit Test Generation via Property Retrieval
by: Zhang, Zhe, et al.
Published: (2024)

DriveTester: A Unified Platform for Simulation-Based Autonomous Driving Testing
by: Cheng, Mingfei, et al.
Published: (2024)

UTFix: Change Aware Unit Test Repairing using LLM
by: Rahman, Shanto, et al.
Published: (2025)

Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests
by: Glock, Johann, et al.
Published: (2025)

CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
by: Zhang, Yuwei, et al.
Published: (2025)

The Foundation Cracks: A Comprehensive Study on Bugs and Testing Practices in LLM Libraries
by: Jiang, Weipeng, et al.
Published: (2025)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
by: Konstantinou, Michael, et al.
Published: (2025)

ChatUniTest: A Framework for LLM-Based Test Generation
by: Chen, Yinghao, et al.
Published: (2023)

LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
by: Etemadi, Khashayar, et al.
Published: (2025)

Unveiling Competition Dynamics in Mobile App Markets through User Reviews
by: Motger, Quim, et al.
Published: (2023)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
by: Chen, Zehan, et al.
Published: (2026)

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs
by: Kong, Jiaolong, et al.
Published: (2024)

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
by: Huang, Dong, et al.
Published: (2024)

Mobile App Security Trends and Topics: An Examination of Questions From Stack Overflow
by: Huo, Timothy, et al.
Published: (2024)

Sifting the Noise: A Comparative Study of LLM Agents in Vulnerability False Positive Filtering
by: Xiong, Yunpeng, et al.
Published: (2026)

Hybrid LLM Routing for Efficient App Feedback Classification
by: Abedini, Yasaman, et al.
Published: (2025)

LLM App Store Analysis: A Vision and Roadmap
by: Zhao, Yanjie, et al.
Published: (2024)