IntRepair: Informed Repairing of Integer Overflows
Integer overflows have threatened software applications for decades. Thus, in this paper, we propose a novel technique to provide automatic repairs of integer overflows in C source code. Our technique, based on static symbolic execution, fuses detection,
Eckert, Claudia +4 more
core +1 more source
Bug Localization in Test-Driven Development [PDF]
Software development teams that use agile methodologies are increasingly adopting the test-driven development practice (TDD). TDD allows to produce software by iterative and incremental work cycle, and with a strict control over the process, favouring an early detection of bugs.
Massimo Ficco +2 more
openaire +3 more sources
Shared Genetic Effects and Antagonistic Pleiotropy Between Multiple Sclerosis and Common Cancers
ABSTRACT Objective Epidemiologic studies have reported inconsistent altered cancer risk in individuals with multiple sclerosis (MS). Factors such as immune dysregulation, comorbidities, and disease‐modifying therapies may contribute to this variability.
Asli Buyukkurt +5 more
wiley +1 more source
An MCP Tool for Bug Localization by Leveraging Modification Frequencies of Similar Bug Reports
During software maintenance, developers spend a considerable amount of time locating the source of bugs. Despite the advent of LLMs and vibe coding, accurately identifying the locations for bug fixes in large-scale codebases remains a persistent ...
Jongsun Ahn, Seonah Lee, Sungwon Kang
doaj +1 more source
Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing
This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Martinez, Matias, Monperrus, Martin
core +1 more source
BigIssue: A Realistic Bug Localization Benchmark
As machine learning tools progress, the inevitable question arises: How can machine learning help us write better code? With significant progress being achieved in natural language processing with models like GPT-3 and Bert, the applications of natural language processing techniques to code are starting to be explored.
Kassianik, Paul +4 more
openaire +2 more sources
Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3
ABSTRACT Objective To examine the value of MRI outcomes as endpoints for preventive and early‐stage trials of two polyglutamine spinocerebellar ataxias (SCAs). Methods A cohort of 100 participants (23 SCA1, 63 SCA3, median Scale for the Assessment and Rating of Ataxia (SARA) score = 5, 42% preataxic, and 14 gene‐negative controls) was scanned at 3T up ...
Thiago J. R. Rezende +26 more
wiley +1 more source
Fluid Biomarkers of Disease Burden and Cognitive Dysfunction in Progressive Supranuclear Palsy
ABSTRACT Objective Identifying objective biomarkers for progressive supranuclear palsy (PSP) is crucial to improving diagnosis and establishing clinical trial and treatment endpoints. This study evaluated fluid biomarkers in PSP versus controls and their associations with regional 18F‐PI‐2620 tau‐PET, clinical, and cognitive outcomes.
Roxane Dilcher +10 more
wiley +1 more source
Noisy Token Removal for Bug Localization: The Impact of Semantically Confusing Misguiding Terms
A bug report is a technical document describing bugs that have occurred in the software. Finding the source code files to resolve a reported bug is a laborious task. To automate this process, information retrieval-based bug localization (IRBL) techniques
Youngkyoung Kim, Misoo Kim, Eunseok Lee
doaj +1 more source
Fault Localization Models in Debugging
Debugging is considered as a rigorous but important feature of software engineering process. Since more than a decade, the software engineering research community is exploring different techniques for removal of faults from programs but it is quite ...
Alansari, Zainab +3 more
core +1 more source

