Search Results for 'verified repair'

verified repair published presentations and documents on DocSlides.

Modular and Verified Automatic Program Repair

by Muscleman

Francesco Logozzo. , Thomas Ball. RiSE - Microsoft...