PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps

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…