TY  - RPRT
TI  - From Natural Language to Executable Properties for Property-based Testing of Mobile Apps
AU  - Yiheng Xiong
AU  - Ting Su
AU  - Jingling Sun
AU  - Jue Wang
AU  - Qin Li
AU  - Geguang Pu
AU  - Zhendong Su
PY  - 2026
UR  - https://arxiv.org/abs/2603.21263
ID  - 2603.21263
ER  -