Automatic Software Repair: A Bibliography

doi:10.1145/3105906

2018-01-23

264

Martin Monperrus *

DOI：10.1145/3105906

原文链接

查看原文

摘要

En 中文

This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention. This article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle. Second, it discusses state repair, also known as runtime repair or runtime recovery, with techniques such as checkpoint and restart, reconfiguration, and invariant restoration. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages, and security. It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.

Keyword:

Program repair

self-healing software

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

ACM Computing Surveys

IF:

论文数:

2.4K

被引数:

3.5W

机构

universite de lille

学者数:

2.7W

论文数: 2.0W

被引数: 15

引用论文

Balanocarpol, a new polyphenol from Balanocarpus zeylanicus(trimen) and Hopea jucunda(Thw.)(Dipterocarpaceae)

Journal of the Chemical Society, Perkin Transactions 1

IF0

1985-01-01

PREAI

M. N. Champika Diyasena; Subramaniam Sotheeswaran; Sivagnanasunderam Surendrakumar; Sinnathamby Balasubramanian; Michael Bokel; Wolfgang Kraus

Analytical Solutions for the Surface States of Bi₁₋_xSb_x (0 ≤ x \( \lesssim \) 0.1)

Journal of the Physical Society of Japan

IF0

2018-04-15

OAAI

Yuki Fuseya; Hidetoshi Fukuyama

Pressure and temperature dependence of the structure of liquid Sn up to 5.3 GPa and 1373 K

High Pressure Research

IF0

2016-05-19

PREAI

Daijo Ikuta; Yoshio Kono; Guoyin Shen

A molecular concept of the properdin pathway.

Proceedings of the National Academy of Sciences

IF0

1976-02-01

OAAI

R G Medicus; R D Schreiber; O Götze; H J Müller-Eberhard

Optimal strategies for learning multi-ancestry polygenic scores vary across traits

IF0

2021-01-17

OAAI

B.C.L. Lehmann; M. Mackintosh; G. McVean; C.C. Holmes

Narratives bridge the divide between distant events in episodic memory

IF0

2020-09-23

OAAI

Brendan Cohn-Sheehy; Angelique Delarazan; Jordan E. Crivelli-Decker; Zachariah Reagh; Nidhi Mundada; Andrew P. Yonelinas; Jeffrey M. Zacks; Charan Ranganath

How Mercury can be the most reduced terrestrial planet and still store iron in its mantle 水星如何成为地球上最缩小的行星，并且仍然在其地幔中储存铁

Earth and Planetary Science Letters

IF0

2014-05-01

PREAI

Valérie Malavergne; Patrick Cordier; Kevin Righter; Fabrice Brunet; Brigitte Zanda; Ahmed Addad; Thomas Smith; Hélène Bureau; Suzy Surblé; Caroline Raepsaet; Emeline Charon; Roger H. Hewins

Conjunctive use of spectral gamma-ray logs and clay mineralogy in defining late Jurassic–early Cretaceous palaeoclimate change (Dorset, U.K.)

Palaeogeography, Palaeoclimatology, Palaeoecology

IF0

2006-01-01

PREAI

Johann Schnyder; Alastair Ruffell; Jean-François Deconinck; François Baudin

Detailed clay mineralogy of the Triassic-Jurassic boundary section at Kendlbachgraben (Northern Calcareous Alps, Austria)

Clay Minerals

IF0

2018-07-09

OAAI

N. Zajzon; F. Kristály; J. Pálfy; T. Németh