Yiheng Xiong
2 papers · Latest:
Software Engineering
From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
PropGen automates property generation for Android app testing, effectively finding functional bugs by exploring functionalities and refining properties.
2604.13463
Software EngineeringImproving Random Testing via LLM-powered UI Tarpit Escaping for Mobile Apps
This paper introduces LLM-powered random GUI testing to escape UI tarpits in mobile apps, significantly improving test coverage and bug detection.
2604.06763
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.