Book
Open access
Apr 2026
PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
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 detect by conventional automatic testing techniques because they often lack explicit test oracles. Property-based testing can effectively expos...
Yiheng Xiong, Shi-Wen Song, Bo Ma et al.
· Proceedings of the 41st IEEE... · 0 citations