Name
Abstract | ||
|---|---|---|
•LoopFix focuses on fixing buggy loops automatically.•we propose a novel way of defining the <key, value> pairs used for patch synthesis.•Nearly 30% loop bugs are identified and repaired successfully by LoopFix.•The patches synthesized by LoopFix are functionally equivalent to thoes patches provided by programmers. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1016/j.jss.2019.06.076 | Journal of Systems and Software |
Keywords | Field | DocType |
Automatic repair,Test suite based,Buggy loop,Symbolic execution,Program synthesis | Test suite,Programming language,Program synthesis,Ranking,Computer science,Exploit,Real-time computing,Symbolic execution | Journal |
Volume | ISSN | Citations |
156 | 0164-1212 | 1 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Weichao Wang | 1 | 1 | 0.34 |
| Zhaopeng Meng | 2 | 1 | 0.34 |
| Zan Wang | 3 | 44 | 7.06 |
| Shuang Liu | 4 | 36 | 22.95 |
| Jianye Hao | 5 | 189 | 55.78 |