forked from program-repair/program-repair.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
162 lines (158 loc) · 9.02 KB
/
Copy pathindex.html
File metadata and controls
162 lines (158 loc) · 9.02 KB
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="msvalidate.01" content="E572D702116BEE430579AF2944F3C567" />
<meta name="google-site-verification" content="N9gZIFBnsoRXktOOC3LsdZqp5sm2F6q2OVjI0zc64_E" />
<meta name="description" content="Community-driven website on automated program repair (automatic bug fixing). Up-to-date references to bibliography and resources">
<meta name="author" content="Sergey Mechtaev">
<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 class="active" 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 role="presentation"><a href="about.html">About </a></li>
</ul>
</div>
</div>
</nav>
<div class="jumbotron hero">
<div class="container">
<div class="row">
<div class="col-md-6"></div>
<div class="col-md-6 get-it">
<h1>Automated Program Repair</h1>
<p>Community-driven effort to facilitate discovery, access and systematization of data related to automated program repair research</p>
<p><a class="btn btn-primary btn-lg" role="button" href="https://github.com/automated-program-repair/automated-program-repair.github.io/blob/master/Contribution.md"><i class="fa fa-group"></i> Contribute</a><a class="btn btn-success btn-lg"
role="button" href="https://docs.google.com/forms/d/1cq4Dzw9nwMhYYlz8LOWsRON-aCP8soSjULDGfn0l-sc/viewform?usp=send_form"><i class="fa fa-feed"></i> Subscribe</a></p>
</div>
</div>
</div>
</div>
<section class="testimonials">
<blockquote>
<p>What one would like ideally [...] is the automatic detection and correction of bugs</p>
<footer>R. J. Abbot, 1990</footer>
</blockquote>
</section>
<section class="features">
<div class="container">
<div class="row">
<div class="col-md-6">
<h2>Resources</h2>
<p>Up-to-date references to publicly available resources on automated program repair, related fields, and commercial applications</p>
</div>
<div class="col-md-6">
<div class="row icon-features">
<div class="col-xs-4 icon-feature"><a href="bibliography.html" class="text-neutral"><i class="glyphicon glyphicon-book"></i></a>
<p>Bibliography </p>
</div>
<div class="col-xs-4 icon-feature"><a href="tools.html" class="text-neutral"><i class="glyphicon glyphicon-wrench"></i></a>
<p>Tools </p>
</div>
<div class="col-xs-4 icon-feature"><a href="benchmarks.html" class="text-neutral"><i class="glyphicon glyphicon-flag"></i></a>
<p>Benchmarks </p>
</div>
</div>
</div>
</div>
</div>
</section>
<section class="testimonials">
<div class="container">
<div class="panel panel-default">
<div class="panel-heading">
<h1>Latest news</h1></div>
<div class="panel-body">
<div class="media">
<div class="media-left">
<a>
<div class="col-md-12"><i class="glyphicon glyphicon-book news-icon"></i></div>
</a>
</div>
<div class="media-body">
<h4>Program repair at FSE'16</h4>
<p>The following program repair works are presented at International Symposium on the Foundations of Software Engineering 2016 held in Seattle, WA, USA:</p> <p>S. Tan, H. Yoshida, M. Prasad, A. Roychoudhury. Anti-patterns in Search-based Program Repair</p>
</div>
</div>
<div class="media">
<div class="media-left">
<a>
<div class="col-md-12"><i class="glyphicon glyphicon-book news-icon"></i></div>
</a>
</div>
<div class="media-body">
<h4>Program repair at CAV'16</h4>
<p>The following program repair works are presented at International Conference on Computer Aided Verification 2016 held in Toronto, Ontario, Canada:</p> <p>L. D'Antoni, R. Samanta, R. Singh. Qlose: Program Repair with Quantiative Objectives</p>
</div>
</div>
<div class="media">
<div class="media-left">
<a>
<div class="col-md-12"><i class="glyphicon glyphicon-book news-icon"></i></div>
</a>
</div>
<div class="media-body">
<h4>Program repair at ICSE'16</h4>
<p>The following program repair works are presented at International Conference on Software Engineering 2016 held in Austin, Texas, USA:</p> <p>S. Mechtaev, J. Yi, A. Roychoudhury. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis</p> <p>F. Long, M. C. Rinard. Analysis of the Search Spaces for Generate and Validate Patch Generation Systems</p>
</div>
</div>
<div class="media">
<div class="media-left">
<a>
<div class="col-md-12"><i class="glyphicon glyphicon-wrench news-icon"></i></div>
</a>
</div>
<div class="media-body">
<h4>Angelix — new open source repair tool</h4>
<p>Angelix is a new program repair tool released under MIT licence. Information about this tool can be found on the following website:</p><p><a href="https://github.com/mechtaev/angelix">https://github.com/mechtaev/angelix</a></p>
</div>
</div>
<div class="media">
<div class="media-left">
<a>
<div class="col-md-12"><i class="glyphicon glyphicon-book news-icon"></i></div>
</a>
</div>
<div class="media-body">
<h4>Program repair at POPL'16</h4>
<p>The following program repair works are presented at Symposium on Principles of Programming Languages 2016 held in St. Petersburg, Florida, USA:</p> <p>F. Long, M. C. Rinard. Prophet: Automatic Patch Generation via Learning From Successful Patches</p>
</div>
</div>
</div>
</div>
</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>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-71971425-1', 'auto');
ga('send', 'pageview');
</script>
</body>
</html>