SemFix: program repair via semantic analysis

Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair meth...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the 2013 International Conference on Software Engineering S. 772 - 781
Hauptverfasser: Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: Piscataway, NJ, USA IEEE Press 18.05.2013
Schriftenreihe:ACM Conferences
Schlagworte:
Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging
Theory of computation > Semantics and reasoning > Program reasoning > Program analysis
Theory of computation > Semantics and reasoning > Program semantics
ISBN:1467330760, 9781467330763
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster.
AbstractList Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster.
Author Qi, Dawei
Chandra, Satish
Nguyen, Hoang Duong Thien
Roychoudhury, Abhik
Author_xml – sequence: 1
  givenname: Hoang Duong Thien
  surname: Nguyen
  fullname: Nguyen, Hoang Duong Thien
  email: hoangdtn@comp.nus.edu.sg
  organization: National University of Singapore, Singapore
– sequence: 2
  givenname: Dawei
  surname: Qi
  fullname: Qi, Dawei
  email: dawei@comp.nus.edu.sg
  organization: National University of Singapore, Singapore
– sequence: 3
  givenname: Abhik
  surname: Roychoudhury
  fullname: Roychoudhury, Abhik
  email: abhik@comp.nus.edu.sg
  organization: National University of Singapore, Singapore
– sequence: 4
  givenname: Satish
  surname: Chandra
  fullname: Chandra, Satish
  email: satishchandra@us.ibm.com
  organization: IBM Research, USA
BookMark eNqNj09LAzEUxAMqaGvPXnP04K4v_7PepFgVCh7Uc3hJsxLt7pZNEf32pnQ_gA-GYQbmwW9GTvuhj4RcMahVuVsurTbW1ge3DZyQGZPaCAFGwzlZ5PwJAIw1ReaC3LzGbpV-7uhuHD5G7OgYd5hG-p2Q5thhv0-BYo_b35zyJTlrcZvjYvI5eV89vC2fqvXL4_Pyfl0hU2ZfNayxiKCCUNwr8LwNXgkForURQJbMucKNVlxCqSxHMF5bIUODGxBBzEl9_Iuhc34YvrJj4A50bqJzE53zY4ptGVz_cyD-AP-rUPY
ContentType Conference Proceeding
DOI 10.5555/2486788.2486890
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
EndPage 781
GroupedDBID 6IE
6IF
6IG
6IH
6IK
6IL
6IN
AAJGR
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
IEGSK
IERZE
IJVOP
OCL
RIE
RIL
RIO
ID FETCH-LOGICAL-a157t-9198aa05c352b50b2fcb53503f8e004b2f225ad65240f8e82a07b6834c9ad03c3
ISBN 1467330760
9781467330763
ISICitedReferencesCount 427
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000333965800078&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Jan 31 06:36:14 EST 2024
Wed Jan 31 06:52:01 EST 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MeetingName ICSE '13: 35th International Conference on Software Engineering
MergedId FETCHMERGED-LOGICAL-a157t-9198aa05c352b50b2fcb53503f8e004b2f225ad65240f8e82a07b6834c9ad03c3
PageCount 10
ParticipantIDs acm_books_10_5555_2486788_2486890_brief
acm_books_10_5555_2486788_2486890
PublicationCentury 2000
PublicationDate 20130518
PublicationDateYYYYMMDD 2013-05-18
PublicationDate_xml – month: 05
  year: 2013
  text: 20130518
  day: 18
PublicationDecade 2010
PublicationPlace Piscataway, NJ, USA
PublicationPlace_xml – name: Piscataway, NJ, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle Proceedings of the 2013 International Conference on Software Engineering
PublicationYear 2013
Publisher IEEE Press
Publisher_xml – name: IEEE Press
SSID ssj0001190117
Score 2.0762217
Snippet Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing...
SourceID acm
SourceType Publisher
StartPage 772
SubjectTerms Software and its engineering -- Software creation and management -- Software verification and validation -- Software defect analysis -- Software testing and debugging
Theory of computation -- Semantics and reasoning -- Program reasoning -- Program analysis
Theory of computation -- Semantics and reasoning -- Program semantics
Title SemFix: program repair via semantic analysis
WOSCitedRecordID wos000333965800078&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/eLvHCXMwtV1LT-MwELaWisPeFlG07AMFCWkPJUtax7HNDcEiLotYtUjcIttxaA5NUUN5_HtmYqcJ1Uqwh-3BbazIjf1NxmOPvxlCDowSTAotQqqkDONEmBBgjqFguYitkVrmdbIJfnkpbm7klXfFVHU6AV6W4ulJ3v1XqKEOwEbq7D_AvWoUKuA3gA4lwA7lmkX818nnalVZNf5_mH3p2tZfS_RDb8EYdPEjHgHrRCfsytLYzs4LfIDmOBe6GlSxGDwUalDZGaBTh3118U1W-8u3y2en1C7mqrwdnC0xr9FkWrTssz-e5v5oi9bzgxp5mU29g_9ET4sVmwi5EFmdGWkwRlqG24XDYbUVSNXvTr9e7WcM69ODXgU3a9xXx09gpYvanFL0IXZULXcpf_yszV3il_UJgcEHOS8YV1CIn_gtZLRBNjgfOrJfuyGHptGQ1-S_5u-amGD-mrrYUNjo0VqTaNyYWcc0mXwi_bbPQQv-Fvlgy21y6KA7DjxwgQMuAOCCBrigAa5Prs9_TU4vQp8gI1RDxu9hopJCqYgZsKI1i_QoN5pRFtFcWHgj4Bq0tcoSBmYbVImRirhOBI2NVFlEDd0hvXJe2s8kSEYSXk3kZRsas4yKPE9ibjJlImiZ6l2yD_1LUc6rFBaOOAapH4PUj8Eu-fHmPakGici_vKO1r-RjKx7fSO9-sbTfyaZ5AOla7NXYvQDPQFVq
linkProvider IEEE
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+of+the+2013+International+Conference+on+Software+Engineering&rft.atitle=SemFix%3A+program+repair+via+semantic+analysis&rft.au=Nguyen%2C+Hoang+Duong+Thien&rft.au=Qi%2C+Dawei&rft.au=Roychoudhury%2C+Abhik&rft.au=Chandra%2C+Satish&rft.series=ACM+Conferences&rft.date=2013-05-18&rft.pub=IEEE+Press&rft.isbn=1467330760&rft.spage=772&rft.epage=781&rft_id=info:doi/10.5555%2F2486788.2486890
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467330763/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467330763/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781467330763/sc.gif&client=summon&freeimage=true