The researchers tested their system

The researchers tested their system, which they call Prophet, on a set of 69 program errors that had cropped up in eight popular open-source programs. Of those, 19 are amenable to the type of modifications that Long’s algorithm uses; the other 50 have more complicated problems that involve logical inconsistencies across larger swaths of code.

Kết quả (Việt) 1:

Các nhà nghiên cứu thử nghiệm hệ thống của họ, mà họ gọi là tiên tri, trên một tập 69 chương trình lỗi đã cắt lên trong tám chương trình mã nguồn mở phổ biến. Những người, 19 được amenable để loại sửa đổi của Long thuật toán sử dụng; 50 khác đã phức tạp hơn những vấn đề có liên quan đến hợp lý mâu thuẫn trên swaths lớn của mã.

Kết quả (Việt) 2:

Các nhà nghiên cứu đã thử nghiệm hệ thống của họ, mà họ gọi là tiên tri, trên một tập hợp 69 lỗi chương trình đó đã nảy sinh trong tám chương trình mã nguồn mở phổ biến. Trong số đó, 19 đều tuân theo các loại sửa đổi mà thuật toán Long sử dụng; 50 khác có vấn đề phức tạp hơn liên quan đến mâu thuẫn logic trên bề mặt lớn hơn mã.