Defects4J：开源缺陷库及其应用

Defects4J 是一个开源的缺陷库，其中包含了多个 Java 项目的已知缺陷。它的作用是提供一个标准化的实验环境，供研究人员和工具开发者使用。使用 Defects4J，研究人员可以在已知的缺陷上验证他们的研究成果，工具开发者可以使用缺陷库来测试和改进他们的工具。Defects4J 还提供了一套完整的实验流程，包括缺陷定位、修复、测试和评估，以帮助用户快速掌握使用缺陷库的方法。