论文提出FOCAL,一种基于代码大模型的判别式测试预言器,不生成断言,而是直接预测测试前缀及被测方法是否会失败。它通过强调失败样本的损失和语句级行为证据提升跨项目失败检测,并报告了优于SEER的初步结果。
最近 24 小时暂无可用热度快照。