English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We present the first systematic analysis of the characteristics of patchsearch spaces for automatic patch generation systems. We analyze the searchspaces of two current state-of-the-art systems, SPR and Prophet, with 16different search space configurations. Our results are derived from an analysisof 1104 different search spaces and 768 patch generation executions. Togetherthese experiments consumed over 9000 hours of CPU time on Amazon EC2.  The analysis shows that 1) correct patches are sparse in the search spaces(typically at most one correct patch per search space per defect), 2) incorrectpatches that nevertheless pass all of the test cases in the validation testsuite are typically orders of magnitude more abundant, and 3) leveraginginformation other than the test suite is therefore critical for enabling thesystem to successfully isolate correct patches.  We also characterize a key tradeoff in the structure of the search spaces.Larger and richer search spaces that contain correct patches for more defectscan actually cause systems to find fewer, not more, correct patches. Weidentify two reasons for this phenomenon: 1) increased validation times becauseof the presence of more candidate patches and 2) more incorrect patches thatpass the test suite and block the discovery of correct patches. Thesefundamental properties, which are all characterized for the first time in thispaper, help explain why past systems often fail to generate correct patches andhelp identify challenges, opportunities, and productive future directions forthe field.

An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems