Interactive Patch Filtering as Debugging Aid

It is widely recognized that program repair tools need to have a high precision to be useful, i.e., the generated patches need to have a high probability to be correct.However, it is fundamentally difficult to ensure the correctness of the patches, and many tools compromise other aspects of repair p... View More