IMDEA Software researchers Facundo Molina, Juan Manuel Copia and Alessandra Gorla present FIXCHECK, a novel approach to improve patch fix analysis that combines static analysis, randomized testing and large language models.
Their innovations, embodied in the paper: “Improving Patch Correctness Analysis via Random Testing and Large Language Models” were presented at the International Conference on Software Testing, Verification and Validation (ICST 2024), and additional details are available on the Zenodo server.
Generating patches that fix software defects is a crucial task in the maintenance of software systems. Typically, software defects are reported via test cases, which unveil undesirable behaviors in the software.
Leave a reply