Abstrakt. Vi bevisar att vissa formuleringar av programsyntes och nåbarhet är likvärdiga. Speciellt, vårt konstruktiva bevis visar minskningar mellan mall-baserade syntes problem, som genererar ett program i en förspecificerad form, och nåbarhetsproblem, som bestämmer tillgängligheten av en programplats. Detta skapar en koppling mellan de två forskningsområdena och möjliggör överföring av teknik och resultat mellan dem. För att visa likvärdigheten utvecklar vi en programreparationsprototyp med hjälp av tillgänglighetsverktyg. Vi omvandlar en buggy program och dess erforderliga specifikation till ett specifikt program som innehåller en plats som kan nås endast när det ursprungliga programmet kan repareras, och sedan tillämpa en off-theshelf test-input generation verktyg på det omvandlade programmet för att hitta testvärden för att nå önskad plats. Dessa testvärden motsvarar reparationer för det ursprungliga programmet. Preliminära resultat tyder på att vårt tillvägagångssätt är gynnsamt jämfört med andra reparationsmetoder.
CETI Ref introducerar en teknik för kodning av mallbaserade syntesproblem som tillgänglighetsproblem.
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
{'venue': 'Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 301--318. Springer, 2017', 'journal': None, 'mag_field_of_study': ['Computer Science']}