PropGen：用 LLM 自动生成属性，为移动应用属性测试提效

PropGen 利用 LLM 从 GUI 状态推断应用功能假设，执行验证后合成属性并根据测试反馈修正不精确属性，实现移动应用属性测试的自动化。在 12 款真实 Android 应用上，它推断出 1,210 个有效功能并正确执行 977 个，生成 985 条属性（912 条有效），修正了 127 条不精确属性中的 118 条，发现 25 个此前未知的功能性 bug。