摘要: ## Abstract 背景:之前APR与大模型的结合仅仅使用了一些特殊构建的input/prompt 本文:conversational APR 方法:使用long-term context window来记录之前的validation feedback 实验: 在10个LLMs上进行对比展示改进 阅读全文
posted @ 2023-07-17 23:22 雪溯 阅读(7) 评论(0) 推荐(0) 编辑
摘要: ## Abstract Task: building uncertainty-aware suggestions based on a decision-theoretic model of goal-conditional utility,推理LLM用户的未观测到的意图 方法:a decision 阅读全文
posted @ 2023-07-17 23:13 雪溯 阅读(3) 评论(0) 推荐(0) 编辑
摘要: ## Abstract 背景:当前分布式系统分析一般都是黑盒工具,难以探索程序状态 工具:MALLORY 任务:greybox fuzzing testing distributed system 方法:timeline-driven testing, timeline abstraction 步骤 阅读全文
posted @ 2023-07-17 23:04 雪溯 阅读(13) 评论(0) 推荐(0) 编辑