Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: id:"swepub:oai:DiVA.org:kth-245146" > Alleviating patch o...

1 av 1
Föregående post
Nästa post
Till träfflistan

Yu, ZhongxingInria Lille Nord Europe, Ave Halley, F-59650 Villeneuve Dascq, France. (författare)

Alleviating patch overfitting with automatic test generation : a study of feasibility and effectiveness for the Nopol repair system

Artikel/kapitelEngelska2019

Förlag, utgivningsår, omfång ...

2018-05-12
SPRINGER,2019
printrdacarrier

Nummerbeteckningar

LIBRIS-ID:oai:DiVA.org:kth-245146
https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-245146URI
https://doi.org/10.1007/s10664-018-9619-4DOI

Kompletterande språkuppgifter

Språk:engelska
Sammanfattning på:engelska &language:-1_t

Ingår i deldatabas

SwePubSwePub

Klassifikation

Ämneskategori:ref swepub-contenttype
Ämneskategori:art swepub-publicationtype

Anmärkningar

QC 20190611
Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. However, test suites are in essence input-output specifications and are thus typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based repair techniques can just overfit to the used test suite, and fail to generalize to other tests. We deeply analyze the overfitting problem in program repair and give a classification of this problem. This classification will help the community to better understand and design techniques to defeat the overfitting problem. We further propose and evaluate an approach called UnsatGuided, which aims to alleviate the overfitting problem for synthesis-based repair techniques with automatic test case generation. The approach uses additional automatically generated tests to strengthen the repair constraint used by synthesis-based repair techniques. We analyze the effectiveness of UnsatGuided: 1) analytically with respect to alleviating two different kinds of overfitting issues; 2) empirically based on an experiment over the 224 bugs of the Defects4J repository. The main result is that automatic test generation is effective in alleviating one kind of overfitting, issue-regression introduction, but due to oracle problem, has minimal positive impact on alleviating the other kind of overfitting issue-incomplete fixing.

Ämnesord och genrebeteckningar

NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
Program repair
Synthesis-based repair
Patch overfitting
Automatic test case generation

Biuppslag (personer, institutioner, konferenser, titlar ...)

Martinez, MatiasUniv Valenciennes, Malvache Bldg,Campus Mont Houy, F-59313 Valenciennes 9, France. (författare)
Danglot, BenjaminInria Lille Nord Europe, Ave Halley, F-59650 Villeneuve Dascq, France. (författare)
Durieux, ThomasInria Lille Nord Europe, Ave Halley, F-59650 Villeneuve Dascq, France.(Swepub:kth)u1cvp6cl (författare)
Monperrus, MartinKTH,Teoretisk datalogi, TCS(Swepub:kth)u13jhcyf (författare)
Inria Lille Nord Europe, Ave Halley, F-59650 Villeneuve Dascq, France.Univ Valenciennes, Malvache Bldg,Campus Mont Houy, F-59313 Valenciennes 9, France. (creator_code:org_t)

Sammanhörande titlar

Ingår i:Empirical Software Engineering: SPRINGER24:1, s. 33-671382-32561573-7616

Internetlänk

Hitta via bibliotek

Empirical Software Engineering (Sök värdpublikationen i LIBRIS)

Till lärosätets databas

1 av 1
Föregående post
Nästa post
Till träfflistan

Hitta mer i SwePub

Av författaren/redakt...: Yu, Zhongxing; Martinez, Matias; Danglot, Benjami ...; Durieux, Thomas; Monperrus, Marti ...

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Datavetenskap

Artiklar i publikationen: Empirical Softwa ...

Av lärosätet: Kungliga Tekniska Högskolan

Sök utanför SwePub

Sök vidare i:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se