TY  - RPRT
TI  - PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
AU  - Yiheng Xiong
AU  - Shiwen Song
AU  - Bo Ma
AU  - Ting Su
AU  - Xiaofei Xie
PY  - 2026
UR  - https://arxiv.org/abs/2604.13463
ID  - 2604.13463
ER  -