Execution-free Program Repair
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913345183940608 |
|---|---|
| author | Huang, Li Meyer, Bertrand Mustafin, Ilgiz Oriol, Manuel |
| author_facet | Huang, Li Meyer, Bertrand Mustafin, Ilgiz Oriol, Manuel |
| contents | Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes much time, and validating a fix through tests does not guarantee its correctness. The novel idea in the Proof2Fix methodology and tool presented here is to rely instead on a program prover, without the need to run tests or to run the program at all. Results show that Proof2Fix finds and fixes significant historical bugs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_01309 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Execution-free Program Repair Huang, Li Meyer, Bertrand Mustafin, Ilgiz Oriol, Manuel Software Engineering Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes much time, and validating a fix through tests does not guarantee its correctness. The novel idea in the Proof2Fix methodology and tool presented here is to rely instead on a program prover, without the need to run tests or to run the program at all. Results show that Proof2Fix finds and fixes significant historical bugs. |
| title | Execution-free Program Repair |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2405.01309 |