@misc{indiciaee5a83b1dd7d8,
  title = {PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps},
  author = {Yiheng Xiong and Shiwen Song and Bo Ma and Ting Su and Xiaofei Xie},
  year = {2026},
  url = {https://arxiv.org/abs/2604.13463},
  note = {Source identifier: 2604.13463}
}