På ICSE'2013 var det den första sessionen någonsin tillägnad automatisk programreparation. I den här sessionen, Kim et al. presenterade PAR, en ny mallbaserad metod för att rätta Java fel. Vi håller inte alls med om de viktigaste punkterna i detta dokument. Vår kritiska granskning har två mål. För det första syftar vi till att förklara varför vi inte håller med Kim och kollegerna och varför skälen bakom denna oenighet är viktiga för forskningen om automatisk programvarureparation i allmänhet. För det andra syftar vi till att bidra till fältet med ett klargörande av de väsentliga idéerna bakom automatisk programvarureparation. I synnerhet diskuterar vi de viktigaste utvärderingskriterierna för automatisk programvarureparation: begriplighet, korrekthet och fullständighet. Vi visar att utvärderingsmålen kan vara motstridiga beroende på hur man sätter upp reparationsscenariot. Så småningom diskuterar vi typen av fix acceptability och dess förhållande till begreppet programvara korrekthet.
Monperrus m.fl. I REF diskuteras de viktigaste utvärderingskriterierna för automatisk programvarureparation, inklusive begriplighet, korrekthet och fullständighet.
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
{'venue': 'ICSE 2014', 'journal': None, 'mag_field_of_study': ['Computer Science']}