Trong phát triển phần mềm, có một sự lệch lạc tồn tại từ lâu: người viết mã chịu trách nhiệm về kết quả, trong khi người kiểm tra mã không phải chịu trách nhiệm. Cấu trúc này không rõ ràng khi quy mô còn nhỏ, nhưng trong hệ thống phức tạp, nó sẽ dần dần bị phóng đại. Trong thực tiễn trên các nền tảng như GitHub, có thể thấy nhiều mã vấn đề được đưa vào nhánh chính sau khi đã “được phê duyệt”. MergeProof cố gắng sửa chữa điều này thông qua việc...