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