Filters








29,452 Hits in 10.3 sec

Automated Program Repair (Dagstuhl Seminar 17022)

Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Marc Herbstritt
<span title="2017-06-02">2017</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
In particular, the seminar covered work related to search-based program repair, semantic program repair, and repair of non-functional properties.  ...  As a result of the seminar, several participants plan to launch various follow-up activities, such as a program repair competition, which would help to further establish and guide this young field of research  ...  Anti-patterns in Search-Based Program Repair Mukul Prasad (Fujitsu Labs of America Inc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.1.19">doi:10.4230/dagrep.7.1.19</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/0001GPR17.html">dblp:journals/dagstuhl-reports/0001GPR17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mxuctyhdobgenfezhrndsjoumq">fatcat:mxuctyhdobgenfezhrndsjoumq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211101211431/https://drops.dagstuhl.de/opus/volltexte/2017/7176/pdf/dagrep_v007_i001_p019_s17022.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b3/36/b3366cd8606b9376ddb5abc6ed64f6ab9d199a18.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.7.1.19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

CFAAR: Control Flow Alteration to Assist Repair [article]

Chadi Trad, Rawad Abou Assi, Wes Masri, Fadi Zaraket
<span title="2018-08-28">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present CFAAR, a program repair assistance technique that operates by selectively altering the outcome of suspicious predicates in order to yield expected behavior.  ...  Twelve of the patches are believed to be correct, whereas the rest provide repair assistance to the developer.  ...  ACKNOWLEDGMENT This research was supported in part by the Lebanese National Council for Scientific Research, and by the University Research Board at the American University of Beirut.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.09229v1">arXiv:1808.09229v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7a2qzdmi55hjthtmkxqvoco2rq">fatcat:7a2qzdmi55hjthtmkxqvoco2rq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911190238/https://arxiv.org/ftp/arxiv/papers/1808/1808.09229.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/86/c3/86c34b8ad64ca1a556b6eb84a3f0715f3ab62d66.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1808.09229v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Trust Enhancement Issues in Program Repair [article]

Yannic Noller, Ridwan Shariffdeen, Xiang Gao, Abhik Roychoudhury
<span title="2022-02-11">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Specifically, we note that producing repairs within an acceptable time-bound is very much dependent on leveraging an abstract search space representation of a rich enough search space.  ...  Based on the feedback from the survey on developer preferences, we quantitatively evaluate existing test-suite based program repair tools.  ...  Search Space Exploration.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.13064v4">arXiv:2108.13064v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6u3oui57hva6vpzg5k2hbowtge">fatcat:6u3oui57hva6vpzg5k2hbowtge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220215015157/https://arxiv.org/pdf/2108.13064v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/52/c1/52c142b5a9d88c5b4853f9d325d73d850f8fd0db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2108.13064v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Exhaustive Exploration of the Failure-Oblivious Computing Search Space

Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus
<span title="">2018</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vets7bfvjgrfdnvqtw7wrhqk4" style="color: black;">2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)</a> </i> &nbsp;
Our experiment consists of exhaustively computing the search space of 16 field failures of large-scale open-source Java software.  ...  In order to make failure-oblivious computing to have an impact in practice, we need to deeply understand failure-oblivious behaviors in software.  ...  To exhaustively explore this search space, we propose an algorithm called FO-EXPLORE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icst.2018.00023">doi:10.1109/icst.2018.00023</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icst/DurieuxHYBM18.html">dblp:conf/icst/DurieuxHYBM18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jfkqsbcaqfdqfnorela3o45hme">fatcat:jfkqsbcaqfdqfnorela3o45hme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200923123214/https://arxiv.org/pdf/1710.09722v2.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/56/23/56238a1c05d849ae37a4ede3ad17d40e5c0bf62e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icst.2018.00023"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs

Geoff Birch, Bernd Fischer, Michael Poppleton
<span title="2017-07-27">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dfdth37zyfetvchsdjk5e2osrq" style="color: black;">Journal of Software and Systems Modeling</a> </i> &nbsp;
We describe a fast model-based fault localisation algorithm that, given a test suite, uses symbolic execution methods to fully automatically identify a small subset of program locations where genuine program  ...  Its performance is in line with recent alternative model-based fault localisation techniques, but narrows the location set further without rejecting any genuine repair locations where faults can be fixed  ...  We also thank Eli Bendersky, author of the PyCParser, the Automated Software Testing Group at Beihang University for Hawk-Eye, and contributors to all downstream components and tools used in our work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-017-0612-y">doi:10.1007/s10270-017-0612-y</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kxn4tpvlybbr5gztntqjvrm7hq">fatcat:kxn4tpvlybbr5gztntqjvrm7hq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428074304/https://eprints.soton.ac.uk/428700/1/Birch2019_Article_FastTestSuite_drivenModel_base.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/65/8f6500a488238ada6da73b649bb400ddd7f655a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10270-017-0612-y"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">2012 34th International Conference on Software Engineering (ICSE)</a> </i> &nbsp;
and "How much does it cost to repair a bug automatically?" In previous work, we presented GenProg, which uses genetic programming to repair defects in off-the-shelf C programs.  ...  We evaluate GenProg on 105 defects from 8 open-source programs totaling 5.1 million lines of code and involving 10,193 test cases. GenProg automatically repairs 55 of those 105 defects.  ...  We report novel enhancements to GenProg, an automated program repair technique based on genetic program, which significantly improve repair success and enable scalability. 10 With new representation,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2012.6227211">doi:10.1109/icse.2012.6227211</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/GouesDFW12.html">dblp:conf/icse/GouesDFW12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kce2r6m2xzcxbejoyq5zoxaru4">fatcat:kce2r6m2xzcxbejoyq5zoxaru4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150908160750/http://www.cs.cmu.edu:80/~clegoues/docs/legoues-icse2012-genprog-preprint.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/56/8a56570a325d329752cdc9d584cbb62cd7d61e20.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2012.6227211"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg

Matias Martinez, Martin Monperrus
<span title="">2019</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
Each of those repair approaches is a point in the design space of program repair.  ...  The implementations of the repair approaches built over Astor are capable of repair, in total, 98 real bugs from 5 large Java programs.  ...  Wen et al. [54] presented a systematic empirical study that explores the influence of fault space on search-based repair techniques.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2019.01.069">doi:10.1016/j.jss.2019.01.069</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tau7eocfdngctltavr72eksk64">fatcat:tau7eocfdngctltavr72eksk64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905200917/https://arxiv.org/pdf/1802.03365v2.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e5/d8/e5d8671b3f937b395ae4d7f9fc6484a312ec073e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2019.01.069"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The Coming Era of AlphaHacking? A Survey of Automatic Software Vulnerability Detection, Exploitation and Patching Techniques [article]

Tiantian Ji, Yue Wu, Chang Wang, Xi Zhang, Zhongru Wang
<span title="2018-05-30">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Utilizing automated system to detect, exploit and patch software vulnerabilities seems so attractive because of its scalability and cost-efficiency compared with the human expert based solution.  ...  As an important supplement, we then review several pioneer studies that explore the potential of machine learning technologies in this field, and point out that the future development of Autonomous CRS  ...  Later, they propose Data-Oriented Programming (DOP) [44] that implements the method to search, extract and program for the attack code blocks and the instruction scheduling assignment code blocks in  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1805.11001v2">arXiv:1805.11001v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uh5ndhgmt5gpdk4opritn5fnsq">fatcat:uh5ndhgmt5gpdk4opritn5fnsq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200828215327/https://arxiv.org/pdf/1805.11001v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d2/a1/d2a10bc9a8b26b98eefae9b913b9fd352af8a315.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1805.11001v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Assertion-based repair of complex data structures

Bassem Elkarablieh, Ivan Garcia, Yuk Lai Suen, Sarfraz Khurshid
<span title="">2007</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hj24pr6lvba3dfi5muhp4mz5tm" style="color: black;">Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE &#39;07</a> </i> &nbsp;
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state.  ...  Given a structure that violates an assertion that represents its integrity constraints, our algorithm performs a systematic search based on symbolic execution to repair the structure, i.e., mutate it such  ...  This work was supported in part by NSF ITR-SoD award #0438967 and the EDGE scholar program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1321631.1321643">doi:10.1145/1321631.1321643</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/kbse/ElkarabliehGSK07.html">dblp:conf/kbse/ElkarabliehGSK07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fwxfvqcoevcxlknnq242echf34">fatcat:fwxfvqcoevcxlknnq242echf34</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809075042/http://users.ece.utexas.edu/~khurshid/papers/2007/07ase-repair.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7e/5b/7e5b0ba0edb3642203c29af12ec51532b8f8ba0f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1321631.1321643"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Automatically Repairing Concurrency Bugs with ARC [chapter]

David Kelk, Kevin Jalbert, Jeremy S. Bradbury
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In the first phase, ARC uses a genetic algorithm without crossover to mutate an incorrect program, searching for a variant of the original program that fixes the deadlocks and data races.  ...  In this paper we introduce ARC -a fully automated system for repairing deadlocks and data races in concurrent Java programs.  ...  Acknowledgment This work was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39955-8_7">doi:10.1007/978-3-642-39955-8_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s6zv3w4fsjdfxdbh5nojqxcz6m">fatcat:s6zv3w4fsjdfxdbh5nojqxcz6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809070100/http://www.sqrlab.ca/papers/MUSEPAT2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c3/61/c361663f2102db7529537325975be0f332d328b4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-39955-8_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automatic Software Repair: A Survey

Luca Gazzola, Daniela Micucci, Leonardo Mariani
<span title="">2017</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
In particular, repairing solutions have been able to automatically produce useful fixes for several classes of bugs that might be present in software programs.  ...  To reduce developers workload, repairing and healing techniques have been extensively investigated as solutions for efficiently repairing and maintaining software in the last few years.  ...  Her research interests include software engineering, in particular software architectures, real-time systems, and self-healing and self-repairing systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2017.2755013">doi:10.1109/tse.2017.2755013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jhmvi3ty6vczdgheadvqibcfou">fatcat:jhmvi3ty6vczdgheadvqibcfou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428235301/https://boa.unimib.it/retrieve/handle/10281/184798/316240/08089448_final.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/04/6d/046d34f9c797ffcba1cd0424792db7ebb643a0d3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2017.2755013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Current challenges in automatic software repair

Claire Le Goues, Stephanie Forrest, Westley Weimer
<span title="2013-06-07">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ebi7q3ex3rg5jft2nycpainznm" style="color: black;">Software quality journal</a> </i> &nbsp;
Second, we review related work in the rapidly growing subfield of automatic program repair.  ...  First, we review current work on evolutionary computation approaches, focusing on GenProg, which uses genetic programming to evolve a patch to a particular bug.  ...  Search space Because the space of all possible edits to a program is so large, GenProg restricts the search to a smaller space that is likely to contain a repair.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11219-013-9208-0">doi:10.1007/s11219-013-9208-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g55pwby6vbdhvf3fjyktzjodnq">fatcat:g55pwby6vbdhvf3fjyktzjodnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810081403/http://dijkstra.cs.virginia.edu/genprog/papers/weimer-sqj-2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1b/5d/1b5d601d82af83f61eb79833530c21b21b2dbaeb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11219-013-9208-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

S3: syntax- and semantic-guided repair synthesis via programming by examples

Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017</a> </i> &nbsp;
The novelty in S3 that allows it to tackle the sparse search space to create more general repairs is three-fold: (1) A systematic way to customize and constrain the syntactic search space via a domain-specific  ...  A notable class of techniques for automatic program repair is known as semantics-based.  ...  The design of separate sub-search-spaces systematically allows us to either prioritize which space to explore first, or unify the spaces freely.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106237.3106309">doi:10.1145/3106237.3106309</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/LeCLGV17.html">dblp:conf/sigsoft/LeCLGV17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r6t7nhy2bbhhrh6sgkbpw6erqa">fatcat:r6t7nhy2bbhhrh6sgkbpw6erqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319235233/https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=4919&amp;context=sis_research" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f5/e7/f5e79c4aa57095a68054a046e3e7665f0f972c0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106237.3106309"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming [article]

Yuan Yuan, Wolfgang Banzhaf
<span title="2017-12-21">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
GP to explore the search space more effectively.  ...  In this paper, we propose ARJA, a new GP based repair approach for automated repair of Java programs.  ...  techniques and use GP to explore the search space.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1712.07804v1">arXiv:1712.07804v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jen5v43qovfehmmnnc553zjvfu">fatcat:jen5v43qovfehmmnnc553zjvfu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200928220711/https://arxiv.org/pdf/1712.07804v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/a0/b9a076ae227b04dde9ed57fa791f59e7b4e8b8ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1712.07804v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The Three Pillars of Machine Programming [article]

Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman Amarasinghe, Joshua B Tenenbaum, Tim Mattson
<span title="2021-06-26">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Adaptation emphasizes advances in the use of ML-based constructs to autonomously evolve software.  ...  Intention emphasizes advancements in the human-to-computer and computer-to-machine-learning interfaces.  ...  according to a deterministic schedule and to embrace learning-based techniques and search in order to explore the space of possible implementations to find a truly optimal one.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.07244v3">arXiv:1803.07244v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/omlg3emt3fd7ricvr25erjei4i">fatcat:omlg3emt3fd7ricvr25erjei4i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200823140414/https://arxiv.org/pdf/1803.07244v2.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/36/07/3607c3af93dcb9b38cadbd7d38cb8a63f11ec0cb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1803.07244v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 29,452 results