B4：朝着最佳评估可信代码解决方案与可信测试的方向

本研究针对在缺乏可靠测试用例下，如何选择多个生成代码解决方案中的最佳方案这一问题提出了创新性的方法。我们在贝叶斯框架内定义了基于后验概率的最佳选择策略，并通过整数规划问题对其进行建模，还提出了一种高效的近似方案，实验证实该策略在多个场景中显著优于现有启发式方法。