(Press-News.org) 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).
Context
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.
In response to these defects, developers create patches that must undergo validation before being committed to the codebase, ensuring that the test provided no longer exposes the defect. However, patches may still fail to effectively address the underlying bug or introduce new bugs, resulting in what is known as bad fixes or incorrect patches.
The detection of these incorrect patches can significantly impact the time and effort spent on bug fixes by developers and the overall maintenance of software systems.
The study
Automatic program repair (APR) provides software developers with tools capable of automatically generating patches for buggy programs. However, their use has uncovered numerous incorrect patches that fail to address the bug.
To tackle this problem, researchers at IMDEA Software have created FIXCHECK, a novel approach for improving the output of patch correctness analyses that combines static analysis, random testing and large language models (LLMs) to automatically generate tests to detect bugs in potentially incorrect patches. FIXCHECK employs a two-step process. The first step consists of generating random tests, obtaining a large set of test cases. The second step is based on the use of large language models, from which meaningful assertions are derived for each test case.
In addition, FIXCHECK includes a selection and prioritization mechanism that executes new test cases on the patched program and then discards or ranks these tests based on their probability of revealing bugs in the patch.
"The effectiveness of FIXCHECK in generating test cases that reveal bugs in incorrect patches was evaluated on 160 patches, including both developer-created patches and patches generated by RPA tools" states Facundo Molina, postdoctoral researcher at Institute IMDEA Software.
The results show that FIXCHECK can effectively generate bug detection tests for 62% of incorrect developer-written patches, with a high degree of confidence. In addition, it complements existing patch fix evaluation techniques by providing test cases that reveal bugs for up to 50% of incorrect patches identified by state-of-the-art techniques.
FIXCHECK represents a significant advance in the field of software repair and maintenance by providing a robust solution for automating test generation and detecting faults during software maintenance. This approach not only improves the effectiveness of patch validation, but also promotes wider adoption of automated program repair methods.
**This work was funded by the Madrid regional government program S2018/TCS-4339 (BLOQUES-CM) and by the Span- ish Governement MCIN/AEI/10.13039/501100011033/ERDF through grants TED2021-132464B-I00 (PRODIGY) and PID2022-142290OB-I00 (ESPADA). Those projects are co- funded by European Union ESF, EIE, and NextGeneration funds.
END
IMDEA Software creates FIXCHECK, a novel approach that improves automatic software repair by generating test cases revealing defects in 62% of incorrect patches
Researchers Facundo Molina, Juan Manuel Copia and Alessandra Gorla present a significant advance that not only improves the effectiveness of patch validation, but also promotes wider adoption of automated program repair methods.
2024-07-23
ELSE PRESS RELEASES FROM THIS DATE:
New car smell reaches toxic levels on hot days
2024-07-23
A study of volatile organic compounds (VOCs) emitted by new cars on hot summer days finds concerning levels of formaldehyde and other aldehydes. Consumers are familiar with—and even drawn to—the “new car smell” produced as VOCs from carpets, upholstery, and other interior materials in newly manufactured passenger vehicles. These VOCs can cause a range of health effects, including headaches, inflammation of the eyes, nose and throat, fatigue, irritability, dry cough, lung disease, and disorientation. Jianyin Xiong, Shaodan Huang, and colleagues sought to capture the levels of VOCs in the passenger cabins of new cars on ...
A promising new method uses light to clean up forever chemicals
2024-07-23
Perfluoroalkyl substances (PFASs), nicknamed ‘forever chemicals,’ pose a growing environmental and health threat. Since the invention of Teflon in 1938, PFASs and perfluorinated polymers or PFs have been widely used for their exceptional stability and resistance to water and heat. These properties made them ideal for countless applications, from cookware and clothing to firefighting foam. However, this very stability has become a major problem. PFASs do not easily break down in the environment, leading ...
DIF-1(+3): Combating drug-resistant malaria parasites
2024-07-23
Malaria remains a serious health issue globally, especially in Africa. The disease is caused by protozoan parasites in the Plasmodium genus. In 2021, there were 247 million cases of malaria and 619,000 deaths reported worldwide. At present, the first line of treatment against malaria is artemisinin combination therapy (ACT) and the administration of artemisinin derivatives in combination with other drugs. After the introduction of ACTs in Africa, which accounts for more than 90% of the world’s malaria cases, the number of deaths due to malaria greatly declined in the mid-2000s. However, Plasmodium falciparum, the most virulent malaria parasite, is resistant to ACT and has been spreading ...
Can a World Cup run drive interest in a nation? New study finds evidence of the “flutie effect” off the field
2024-07-23
Nearly four decades ago, Boston College quarterback Doug Flutie launched a game-winning, mid-field touchdown pass to upset the University of Miami on the game’s final play—prompting a subsequent surge in applications to the school in what has been dubbed the “Flutie Effect.”
A team of NYU researchers has now found evidence of this effect beyond the gridiron—and athletic competition. During and after Morocco’s surprising run to the World Cup semi-finals in the fall 2022, online searches on non-sports topics related to Morocco increased ...
Data from largest clinical trial of pre-symptomatic Alzheimer’s disease now widely available
2024-07-23
Data from the Anti-Amyloid Treatment in Asymptomatic Alzheimer’s (A4) study, the first and largest clinical trial of pre-symptomatic Alzheimer’s disease, is now widely available to researchers studying the condition. The comprehensive dataset has already yielded key insights about Alzheimer’s disease, which affects nearly seven million people in the United States, and sharing the data opens avenues for further progress.
A4 researchers screened more than 7,500 people and enrolled 1,169 people with pre-symptomatic Alzheimer’s disease. This stage ...
Fruit fly post-mating behavior controlled by male-derived peptide via command neurons – study
2024-07-23
Scientists have succeeded in pinpointing the neurons within a female fruit fly’s brain that respond to signals from the male during mating.
Male fruit flies transfer a substance called a sex-peptide during mating in the seminal fluid together with sperm. This sex pheromone influences the female fly’s behaviour so she will start to lay eggs and be less inclined to mate further.
This is a common phenomenon in insects but until now, it was not known where in the nervous system the neurons are located that direct ...
NIH findings shed light on risks and benefits of integrating AI into medical decision-making
2024-07-23
Researchers at the National Institutes of Health (NIH) found that an artificial intelligence (AI) model solved medical quiz questions—designed to test health professionals’ ability to diagnose patients based on clinical images and a brief text summary—with high accuracy. However, physician-graders found the AI model made mistakes when describing images and explaining how its decision-making led to the correct answer. The findings, which shed light on AI’s potential in the clinical setting, were published in npj ...
Expiring medications could pose challenge on long space missions
2024-07-23
DURHAM, N.C. -- Medications used by astronauts on the International Space Station might not be good enough for a three-year journey to Mars.
A new study led by Duke Health shows that over half of the medicines stocked in space -- staples such as pain relievers, antibiotics, allergy medicines, and sleep aids -- would expire before astronauts could return to Earth.
Astronauts could end up relying on ineffective or even harmful drugs, according to the study appearing July 23 in npj Microgravity, a Nature journal.
“It doesn’t necessarily mean ...
Study of urban moss raises concerns about lead levels in older Portland neighborhoods
2024-07-23
CORVALLIS, Ore. – Lead levels in moss are as much as 600 times higher in older Portland, Oregon, neighborhoods where lead-sheathed telecommunications cables were once used compared to lead levels in nearby rural areas, a new study of urban moss has found.
The findings raise concerns about lead exposure in pre-1960 neighborhoods where the cables were common and in some cases are still in place even though they are no longer in use, said Alyssa Shiel, an environmental geochemist at Oregon State University, and the study’s ...
Preclinical model offers new insights into Parkinson’s disease process
2024-07-23
A new preclinical model offers a unique platform for studying the Parkinson’s disease process and suggests a relatively easy method for detecting the disease in people, according to a new study led by Weill Cornell Medicine researchers.
In the study, published July 23 in Nature Communications, the researchers showed that knocking out a key component involved in protein transportation in the light-sensing rod cells of mice leads to the retinal accumulation of the aggregates of a protein called alpha-synuclein found in patients with Parkinson’s disease.
“This is a really unique model involving a pathology that seems more like human Parkinson’s than what we see in ...
LAST 30 PRESS RELEASES:
Insulin resistance is linked to over 30 diseases – and to early death in women, study of people in the UK finds
Innovative semaglutide hydrogel could reduce diabetes shots to once a month
Weight loss could reduce the risk of severe infections in people with diabetes, UK research suggests
Long-term exposure to air pollution and a lack of green space increases the risk of hospitalization for respiratory conditions
Better cardiovascular health in early pregnancy may offset high genetic risk
Artificial intelligence method transforms gene mutation prediction in lung cancer: DeepGEM data releases at IASLC 2024 World Conference on Lung Cancer
Antibody–drug conjugate I-DXd shows clinically meaningful response in patients with extensive-stage small cell lung cancer
IASLC Global Survey on biomarker testing reveals progress and persistent barriers in lung cancer biomarker testing
Research shows pathway to developing predictive biomarkers for immune checkpoint inhibitors
Just how dangerous is Great Salt Lake dust? New research looks for clues
Maroulas appointed Associate Vice Chancellor, Director of AI Tennessee
New chickadee research finds cognitive skills impact lifespan
Cognitive behavioral therapy enhances brain circuits to relieve depression
Terasaki Institute awarded $2.3 Million grant from NIH for organ transplantation research using organs-on-a-chip technology
Atoms on the edge
Postdoc takes multipronged approach to muon detection
Mathematical proof: Five satellites needed for precise navigation
Scalable, multi-functional device lays groundwork for advanced quantum applications
Falling for financial scams? It may signal early Alzheimer’s disease
Integrating MRI and OCT for new insights into brain microstructure
Designing a normative neuroimaging library to support diagnosis of traumatic brain injury
Department of Energy announces $68 million in funding for artificial intelligence for scientific research
DOE, ORNL announce opportunity to define future of high-performance computing
Molecular simulations, supercomputing lead to energy-saving biomaterials breakthrough
Low-impact yoga and exercise found to help older women manage urinary incontinence
Genetic studies reveal new insights into cognitive impairment in schizophrenia
Researcher develops technology to provide cleaner energy and cleaner water
Expect the unexpected: nanoscale silver unveils intrinsic self-healing abilities
nTIDE September 2024 Jobs Report: Gains in employment for people with disabilities appear to level off after reducing gaps with non-disabled workers
Wiley enhances NMR Spectral Library Collection with extensive new databases
[Press-News.org] IMDEA Software creates FIXCHECK, a novel approach that improves automatic software repair by generating test cases revealing defects in 62% of incorrect patchesResearchers Facundo Molina, Juan Manuel Copia and Alessandra Gorla present a significant advance that not only improves the effectiveness of patch validation, but also promotes wider adoption of automated program repair methods.