Cover Image

From Natural Language to Executable Properties for Property-based Testing of Mobile Apps

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xiong, Yiheng, Su, Ting, Sun, Jingling, Wang, Jue, Li, Qin, Pu, Geguang, Su, Zhendong
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 Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
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)

Mokav: Execution-driven Differential Testing with LLMs
by: Etemadi, Khashayar, et al.
Published: (2024)

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

Automated detection of atomicity violations in large-scale systems
by: He, Hang, et al.
Published: (2025)

An Evolutionary Approach to Adapt Tests Across Mobile Apps
by: Mariani, Leonardo, et al.
Published: (2021)

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

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
by: Yang, Di, et al.
Published: (2026)

Experimenting a New Programming Practice with LLMs
by: Zhang, Simiao, et al.
Published: (2024)

Scaling Mobile Chaos Testing with AI-Driven Test Execution
by: Marcano, Juan, et al.
Published: (2026)

Finding Performance Issues in Database Systems by Exploiting Dormant Code Paths
by: Ba, Jinsheng, et al.
Published: (2026)

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

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning
by: Yu, Shengcheng, et al.
Published: (2022)

Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps
by: Liu, Zhe, et al.
Published: (2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
by: Szabo, Violet, et al.
Published: (2024)

CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
by: Ho, Tommy, et al.
Published: (2026)

Automated Test Transfer Across Android Apps Using Large Language Models
by: Beyzaei, Benyamin, et al.
Published: (2024)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)

A Survey on the Techniques and Tools for Automated Requirements Elicitation and Analysis of Mobile Apps
by: Wang, Chong, et al.
Published: (2025)

LLM-Explorer: Towards Efficient and Affordable LLM-based Exploration for Mobile Apps
by: Zhao, Shanhui, et al.
Published: (2025)

UBfuzz: Finding Bugs in Sanitizer Implementations
by: Li, Shaohua, et al.
Published: (2024)

Recommending and Release Planning of User-Driven Functionality Deletion for Mobile Apps
by: Nayebi, Maleknaz, et al.
Published: (2024)

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

Can Large Language Models Write Good Property-Based Tests?
by: Vikram, Vasudev, et al.
Published: (2023)

LLMs in Mobile Apps: Practices, Challenges, and Opportunities
by: Hau, Kimberly, et al.
Published: (2025)

Assessing and Enhancing Quantum Readiness in Mobile Apps
by: Strauss, Joseph, et al.
Published: (2025)

API-guided Dataset Synthesis to Finetune Large Code Models
by: Li, Zongjie, et al.
Published: (2024)

MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)

Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users
by: Zhang, Mengxi, et al.
Published: (2025)

GDPR-Relevant Privacy Concerns in Mobile Apps Research: A Systematic Literature Review
by: Cejas, Orlando Amaral, et al.
Published: (2024)

Dinkel: State-Aware and Granular Framework for Validating Graph Databases
by: Wüst, Celine, et al.
Published: (2024)

IEA-Plugin: An AI Agent Reasoner for Test Data Analytics
by: Kim, Seoyeon, et al.
Published: (2025)

A Comparative Study of Full Apps and Lite Apps for Android
by: Tang, Yutian, et al.
Published: (2025)

Beyond Pass or Fail: Multi-Dimensional Benchmarking of Foundation Models for Goal-based Mobile UI Navigation
by: Ran, Dezhi, et al.
Published: (2025)

Accelerating Delta Debugging through Probabilistic Monotonicity Assessment
by: Tao, Yonggang, et al.
Published: (2025)

Towards the Datasets Used in Requirements Engineering of Mobile Apps: Preliminary Findings from a Systematic Mapping Study
by: Wang, Chong, et al.
Published: (2025)

LadyBug: A GitHub Bot for UI-Enhanced Bug Localization in Mobile Apps
by: Mahmud, Junayed, et al.
Published: (2025)

TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
by: Le, Cuong Chi, et al.
Published: (2025)

TaskAudit: Detecting Functiona11ity Errors in Mobile Apps via Agentic Task Execution
by: Zhong, Mingyuan, et al.
Published: (2025)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
by: Wang, Lianjing, et al.
Published: (2026)