@misc{indiciae31e5384fcd41,
  title = {From Natural Language to Executable Properties for Property-based Testing of Mobile Apps},
  author = {Yiheng Xiong and Ting Su and Jingling Sun and Jue Wang and Qin Li and Geguang Pu and Zhendong Su},
  year = {2026},
  url = {https://arxiv.org/abs/2603.21263},
  note = {Source identifier: 2603.21263}
}