automated-program-repair.github.io/about.html at master · bugcounting/automated-program-repair.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
<!DOCTYPE html>
<html>

<head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Automated Program Repair</title>
    <link rel="stylesheet" href="assets/bootstrap/css/bootstrap.min.css">
    <link rel="stylesheet" href="assets/fonts/font-awesome.min.css">
    <link rel="stylesheet" href="assets/css/user.css">
</head>

<body>
    <nav class="navbar navbar-default">
        <div class="container">
            <div class="navbar-header"><a class="navbar-brand navbar-link" href="index.html"><i class="fa fa-cogs"></i> automated-program-repair.org</a>
                <button class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navcol-1"><span class="sr-only">Toggle navigation</span><span class="icon-bar"></span><span class="icon-bar"></span><span class="icon-bar"></span></button>
            </div>
            <div class="collapse navbar-collapse" id="navcol-1">
                <ul class="nav navbar-nav navbar-right">
                    <li role="presentation"><a href="index.html">Home </a></li>
                    <li role="presentation"><a href="bibliography.html">Bibliography</a></li>
                    <li role="presentation"><a href="tools.html">Tools </a></li>
                    <li role="presentation"><a href="benchmarks.html">Benchmarks </a></li>
                    <li class="active" role="presentation"><a href="#">About </a></li>
                </ul>
            </div>
        </div>
    </nav>
    <section class="testimonials">
        <div class="container">
            <p>Automated program repair (automatic bug fixing) is an emerging area of research that focuses on reducing the cost of software bug fixing. Automated program repair approaches automatically or semi-automatically modify buggy program to satisfy
                given correctness criteria (oracle). Examples of oracles are test suite and formal specification. Typical program repair works in the following three steps: identifying faulty locations, inferring desired specification, and generating
                a patch. Existing approaches differ in the underlying techniques used for localization, inference, and patch generation. Roughly, they can be divided into two groups: syntactical (e.g., GenProg) and semantical (e.g., SemFix). Important
                attributes of automated program repair are scalability, repairability, and the quality of generated patches. </p>
            <p>This website is a community-driven effort to provide up-to-date references about automated program repair. The bibliography section includes papers published in top computer science venues:</p>
            <ul>
                <li>Conference on Programming Language Design and Implementation (PLDI) </li>
                <li>Symposium on Principles of Programming Languages (POPL) </li>
                <li>International Conference on Software Engineering (ICSE) </li>
                <li>Symposium on the Foundations of Software Engineering (FSE)</li>
                <li>International Conference on Computer-Aided Verification (CAV) </li>
                <li>International Symposium on Software Testing and Analysis (ISSTA) </li>
                <li>International Conference on Automated Software Engineering (ASE) </li>
                <li>International Conference on Software Testing, Verification and Validation (ICST) </li>
                <li>IEEE Transactions on Software Engineering (TSE) </li>
                <li>ACM Transactions on Software Engineering and Methodology (TOSEM) </li>
                <li>etc. </li>
            </ul>
            <p>The tools section contains references to related research tools, benchmarks, etc. We display only artifacts that are publicly available and have correspoding publications in the venues listed above.</p>
            <p><a href="https://github.com/automated-program-repair/automated-program-repair.github.io/blob/master/Contribution.md">Contributions</a>
                <a href="https://github.com/automated-program-repair/automated-program-repair.github.io/issues"> </a>are welcomed. </p>
        </div>
    </section>
    <footer class="site-footer">
        <div class="container">
            <div class="row">
                <div class="col-sm-6"></div>
                <div class="col-sm-6 social-icons"><a href="https://github.com/automated-program-repair"><i class="fa fa-github-alt"></i></a></div>
            </div>
        </div>
    </footer>
    <script src="assets/js/jquery.min.js"></script>
    <script src="assets/bootstrap/js/bootstrap.min.js"></script>
</body>

</html>