Contract-Based Program Repair Without The Contracts: An Extended Study
Publication type: Journal Article
Publication date: 2021-12-01
scimago Q1
wos Q1
SJR: 1.447
CiteScore: 12.9
Impact factor: 5.6
ISSN: 00985589, 19393520, 23263881
Software
Abstract
Most techniques for automated program repair (APR) use tests to drive the repair process; this makes them prone to generating spurious repairs that overfit the available tests unless additional information about expected program behavior is available. Our previous work on
Jaid
, an APR technique for Java programs, showed that constructing detailed state abstractions—similar to those employed by techniques for programs with contracts—from plain Java code without any special annotations provides valuable additional information, and hence helps mitigate the overfitting problem. This paper extends the work on
Jaid
with a comprehensive experimental evaluation involving 693 bugs in three different benchmark suites. The evaluation shows, among other things, that: 1)
Jaid
is effective: it produced correct fixes for over 15 percent of all bugs, with a precision of nearly 60 percent; 2)
Jaid
is reasonably efficient: on average, it took less than 30 minutes to output a correct fix; 3)
Jaid
is competitive with the state of the art, as it fixed more bugs than any other technique, and 11 bugs that no other tool can fix; 4)
Jaid
is robust: its heuristics are complementary and their effectiveness does not depend on the fine-tuning of parameters. The experimental results also indicate the main trade-offs involved in designing an APR technique based on tests, as well as possible directions for further progress in this line of work.
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-30
Journals
|
1
2
3
4
|
|
|
IEEE Transactions on Software Engineering
4 publications, 26.67%
|
|
|
ACM Computing Surveys
2 publications, 13.33%
|
|
|
ACM Transactions on Software Engineering and Methodology
2 publications, 13.33%
|
|
|
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
1 publication, 6.67%
|
|
|
International Journal of Software Engineering and Knowledge Engineering
1 publication, 6.67%
|
|
|
1
2
3
4
|
Publishers
|
1
2
3
4
5
6
7
8
|
|
|
Association for Computing Machinery (ACM)
8 publications, 53.33%
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
5 publications, 33.33%
|
|
|
World Scientific
1 publication, 6.67%
|
|
|
1
2
3
4
5
6
7
8
|
- We do not take into account publications without a DOI.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
15
Total citations:
15
Citations from 2024:
8
(53.34%)
Cite this
GOST |
RIS |
BibTex |
MLA
Cite this
GOST
Copy
Chen L. et al. Contract-Based Program Repair Without The Contracts: An Extended Study // IEEE Transactions on Software Engineering. 2021. Vol. 47. No. 12. pp. 2841-2857.
GOST all authors (up to 50)
Copy
Chen L., Pei Yu., Furia C. A. Contract-Based Program Repair Without The Contracts: An Extended Study // IEEE Transactions on Software Engineering. 2021. Vol. 47. No. 12. pp. 2841-2857.
Cite this
RIS
Copy
TY - JOUR
DO - 10.1109/tse.2020.2970009
UR - https://doi.org/10.1109/tse.2020.2970009
TI - Contract-Based Program Repair Without The Contracts: An Extended Study
T2 - IEEE Transactions on Software Engineering
AU - Chen, Liushan
AU - Pei, Yu
AU - Furia, Carlo A.
PY - 2021
DA - 2021/12/01
PB - Institute of Electrical and Electronics Engineers (IEEE)
SP - 2841-2857
IS - 12
VL - 47
SN - 0098-5589
SN - 1939-3520
SN - 2326-3881
ER -
Cite this
BibTex (up to 50 authors)
Copy
@article{2021_Chen,
author = {Liushan Chen and Yu Pei and Carlo A. Furia},
title = {Contract-Based Program Repair Without The Contracts: An Extended Study},
journal = {IEEE Transactions on Software Engineering},
year = {2021},
volume = {47},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
month = {dec},
url = {https://doi.org/10.1109/tse.2020.2970009},
number = {12},
pages = {2841--2857},
doi = {10.1109/tse.2020.2970009}
}
Cite this
MLA
Copy
Chen, Liushan, et al. “Contract-Based Program Repair Without The Contracts: An Extended Study.” IEEE Transactions on Software Engineering, vol. 47, no. 12, Dec. 2021, pp. 2841-2857. https://doi.org/10.1109/tse.2020.2970009.