Fast and Precise On-the-Fly Patch Validation for All

Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade. Meanwhile, such techniques can be extremely time-consuming due to the manipulation of program code to fabricate a large number of patches and also the repeated test executi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings / International Conference on Software Engineering S. 1123 - 1134
Hauptverfasser: Chen, Lingchao, Ouyang, Yicheng, Zhang, Lingming
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.05.2021
Schlagworte:
Computer bugs
Maintenance engineering
Runtime
ISBN:1665402962, 9781665402965
ISSN:1558-1225
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade. Meanwhile, such techniques can be extremely time-consuming due to the manipulation of program code to fabricate a large number of patches and also the repeated test executions on patches to identify potential fixes. PraPR, a recentG furthermore, UniAPR addresses the imprecise patch validation issue by resetting the JVM global state via runtime bytecode transformation. We have implemented UniAPR as a publicly available fully automated Maven Plugin. Our study demonstrates for the first time that on-the-fly patch validation can often speed up state-of-the-art source-code-level APR by over an order of magnitude, enabling all existing APR techniques to explore a larger search space to fix more bugs in the near future. Furthermore, our study shows the first empirical evidence that vanilla on-the-fly patch validation can be imprecise/unsound, while UniAPR with JVM reset is able to mitigate such issues with negligible overhead.
AbstractList Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade. Meanwhile, such techniques can be extremely time-consuming due to the manipulation of program code to fabricate a large number of patches and also the repeated test executions on patches to identify potential fixes. PraPR, a recentG furthermore, UniAPR addresses the imprecise patch validation issue by resetting the JVM global state via runtime bytecode transformation. We have implemented UniAPR as a publicly available fully automated Maven Plugin. Our study demonstrates for the first time that on-the-fly patch validation can often speed up state-of-the-art source-code-level APR by over an order of magnitude, enabling all existing APR techniques to explore a larger search space to fix more bugs in the near future. Furthermore, our study shows the first empirical evidence that vanilla on-the-fly patch validation can be imprecise/unsound, while UniAPR with JVM reset is able to mitigate such issues with negligible overhead.
Author Ouyang, Yicheng
Chen, Lingchao
Zhang, Lingming
Author_xml – sequence: 1
  givenname: Lingchao
  surname: Chen
  fullname: Chen, Lingchao
  email: lxc170330@utdallas.edu
  organization: The University of Texas at Dallas
– sequence: 2
  givenname: Yicheng
  surname: Ouyang
  fullname: Ouyang, Yicheng
  email: yicheng.ouyang@utdallas.edu
  organization: The University of Texas at Dallas
– sequence: 3
  givenname: Lingming
  surname: Zhang
  fullname: Zhang, Lingming
  email: lingming@illinois.edu
  organization: University of Illinois at Urbana-Champaign
BookMark eNotzk1qwzAQQGFBU2iS5gTtQhdQOjOSbGkZTNwEAgn0ZxvGskQMrl1sb3L7prSrt_t4CzHr-i4K8YywRgT_si_etkZ7oDUB4RoAwdyJBWaZNUA-o5mYo7VOIZF9EKtxbCowJvcImZkLU_I4Se5qeRpiaMYoj52aLlGV7VWeeAoX-cltU_PU9J1M_SA3bfso7hO3Y1z9dyk-yu17sVOH4-u-2BwUk7OTyjGmSteanXNkQsx9bsHfrnIXdWBzG645JaQAVXCptllA59GghWQTsV6Kpz-3iTGev4fmi4fr-VdAQv0DbopF1w
CODEN IEEPAD
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ICSE43902.2021.00104
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 1134
ExternalDocumentID 9402121
Genre orig-research
GrantInformation_xml – fundername: National Science Foundation
  funderid: 10.13039/100000001
GroupedDBID -~X
.4S
.DC
123
23M
29O
5VS
6IE
6IF
6IH
6IK
6IL
6IM
6IN
8US
AAJGR
AAWTH
ABLEC
ADZIZ
AFFNX
ALMA_UNASSIGNED_HOLDINGS
APO
ARCSS
AVWKF
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
CHZPO
EDO
FEDTE
I-F
I07
IEGSK
IJVOP
IPLJI
M43
OCL
RIE
RIL
RIO
RNS
XOL
ID FETCH-LOGICAL-a285t-71efb3d3a88824ce79750940278e3ca4202daff12c0bc8fd56c18914150f5f2a3
IEDL.DBID RIE
ISBN 1665402962
9781665402965
ISICitedReferencesCount 21
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000684601800091&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1558-1225
IngestDate Wed Aug 27 02:50:25 EDT 2025
IsPeerReviewed false
IsScholarly true
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a285t-71efb3d3a88824ce79750940278e3ca4202daff12c0bc8fd56c18914150f5f2a3
PageCount 12
ParticipantIDs ieee_primary_9402121
PublicationCentury 2000
PublicationDate 2021-May
PublicationDateYYYYMMDD 2021-05-01
PublicationDate_xml – month: 05
  year: 2021
  text: 2021-May
PublicationDecade 2020
PublicationTitle Proceedings / International Conference on Software Engineering
PublicationTitleAbbrev ICSE
PublicationYear 2021
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib044791064
ssj0006499
Score 2.3624132
Snippet Generate-and-validate (G&V) automated program repair (APR) techniques have been extensively studied during the past decade. Meanwhile, such techniques can be...
SourceID ieee
SourceType Publisher
StartPage 1123
SubjectTerms Computer bugs
Maintenance engineering
Runtime
Title Fast and Precise On-the-Fly Patch Validation for All
URI https://ieeexplore.ieee.org/document/9402121
WOSCitedRecordID wos000684601800091&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8MwGA5zePA0dRO_ycGj2do0zcdRxopeZsEPdhtpmqAwOtk6wX_vm7SbCF6EHtrSQ5O8zfO8aZ73QegmLRJeAO0gwL45YdIoIqmOiHElxIdL4TDBbEJMp3I2U3kH3e60MNbasPnMDv1p-JdfLs3GL5WNFPMFySHX2RNCNFqtbewwJgD4PPVvZ2HOgnckwCVkSRC0XtTlnXYjqjhtaz1tr9NWUxdHavQwfpoASAeRFo2HoX7NL-eVADxZ73-vfIgGPwo-nO-w6Qh1bHWMelsLB9x-0X3EMr2usa5KeNq77Vj8WBHghCRbfOEcpuk3_ApMvTFewkBw8d1iMUAv2eR5fE9aIwWiqUxrImLriqRMNKS7lBkrlAh186iQNjGaQUtL7VxMTVQYCaPETSxVDNgeudRRnZygbrWs7CnCMi24EKXkspTMukgXxjitraAJj4xKz1Dfd8L8o6mVMW_bf_737Qt04Hu52UB4ibr1amOv0L75rN_Xq-swwN-uSZx0
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PS8MwGA1DBT1N3cTf5uDRbG2aJulRxsaGcw6csttI0wSF0cnWCf73fkm7ieBF6KEtPTTJ17z3pXnfQ-g2TiOeAu0gwL45YVInRFIVEG0ziA8bw6G92YQYjeR0moxr6G6rhTHG-M1npuVO_b_8bKHXbqmsnTBXkBxynd2YMRqWaq1N9DAmAPoc-a_mYc68eyQAJuRJELZO1uW8dgOacFpVe9pcx5WqLgyS9qDz3AWY9jItGrZ8BZtf3iseenr1_730IWr-aPjweItOR6hm8mNU35g44OqbbiDWU6sCqzyDp53fjsFPOQFWSHrzLzyGifoNvwJXL62XMFBcfD-fN9FLrzvp9EllpUAUlXFBRGhsGmWRgoSXMm1EInzlPCqkibRi0NJMWRtSHaRawjhxHcokBHQPbGypik7QTr7IzSnCMk65EJnkMpPM2EClWluljKARD3QSn6GG64TZR1ktY1a1__zv2zdovz95HM6Gg9HDBTpwPV5uJ7xEO8Vyba7Qnv4s3lfLaz_Y3wyvn7s
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+%2F+International+Conference+on+Software+Engineering&rft.atitle=Fast+and+Precise+On-the-Fly+Patch+Validation+for+All&rft.au=Chen%2C+Lingchao&rft.au=Ouyang%2C+Yicheng&rft.au=Zhang%2C+Lingming&rft.date=2021-05-01&rft.pub=IEEE&rft.isbn=9781665402965&rft.issn=1558-1225&rft.spage=1123&rft.epage=1134&rft_id=info:doi/10.1109%2FICSE43902.2021.00104&rft.externalDocID=9402121
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1558-1225&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1558-1225&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1558-1225&client=summon