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

Yiheng Xiong, Shiwen Song, Bo Ma +2

Mobile apps often suffer from functional bugs that do not cause crashes but instead manifest as incorrect behaviors under specific user interactions. Such bugs are difficult to det…