arXiv · Software Engineering· Yiheng Xiong, Shiwen Song, Bo Ma, Ting Su, Xiaofei Xie·· 3 小时前AI 评分37
PropGen：用 LLM 自动生成属性以进行移动应用基于属性的测试
PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
AI 导读
PropGen 用 LLM 自动化移动应用基于属性的测试，从 GUI 状态推断候选功能假设，执行验证后合成属性并依据测试反馈修正不精确属性。在 12 个真实 Android 应用上，PropGen 推断出 1,210 个有效功能、正确执行 977 个（基线为 491 和 187），生成 985 个属性中 912 个有效，并修正了 127 个不精确属性中的 118 个。
来源：arXiv · Software Engineering · arxiv.org