Cover Image

VeriFix: Verifying Your Fix Towards An Atomicity Violation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Li, Zhuang, Yi, Qiuping, Huang, Jeff
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
by: Li, Zhuang, et al.
Published: (2026)

FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
by: Sun, Yang, et al.
Published: (2025)

Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Fixing
by: Huang, Kai, et al.
Published: (2025)

Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models
by: Zhang, Kunpeng, et al.
Published: (2025)

Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback
by: Moon, Seungjun, et al.
Published: (2023)

Hot Fixing in the Wild
by: Hanna, Carol, et al.
Published: (2026)

DeepFix: Debugging and Fixing Machine Learning Workflow using Agentic AI
by: Seydou, Fadel Mamar, et al.
Published: (2026)

The Dangers of Non-Self-Fixed Architecture Technical Debt and Its Impact on Time-to-Fix
by: Sutoyo, Edi, et al.
Published: (2026)

Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?
by: Garg, Spandan, et al.
Published: (2026)

Fast Fixes and Faulty Drivers: An Empirical Analysis of Regression Bug Fixing Times in the Linux Kernel
by: Ruohonen, Jukka, et al.
Published: (2024)

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring
by: Tan, Ivan, et al.
Published: (2024)

Extracting Fix Ingredients using Language Models
by: Prenner, Julian Aron, et al.
Published: (2025)

PathFix: Automated Program Repair with Expected Path
by: He, Xu, et al.
Published: (2025)

InfraFix: Technology-Agnostic Repair of Infrastructure as Code
by: Saavedra, Nuno, et al.
Published: (2025)

What the Fix? A Study of ASATs Rule Documentation
by: Latappy, Corentin, et al.
Published: (2024)

AtPatch: Debugging Transformers via Hot-Fixing Over-Attention
by: Weng, Shihao, et al.
Published: (2026)

SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
by: Zhang, Yifan, et al.
Published: (2026)

Towards Automated Identification of Violation Symptoms of Architecture Erosion
by: Li, Ruiyin, et al.
Published: (2023)

STEAM: Simulating the InTeractive BEhavior of ProgrAMmers for Automatic Bug Fixing
by: Zhang, Yuwei, et al.
Published: (2023)

"TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induced Self-Admitted Technical Debt
by: Mujahid, Abdullah Al, et al.
Published: (2026)

SWE-Synth: Synthesizing Verifiable Bug-Fix Data to Enable Large Language Models in Resolving Real-World Bugs
by: Pham, Minh V. T., et al.
Published: (2025)

Learning Graph-based Patch Representations for Identifying and Assessing Silent Vulnerability Fixes
by: Han, Mei, et al.
Published: (2024)

Byam: Fixing Breaking Dependency Updates with Large Language Models
by: Reyes, Frank, et al.
Published: (2025)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
by: Bobadilla, Sofia, et al.
Published: (2025)

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

HAFix: History-Augmented Large Language Models for Bug Fixing
by: Shi, Yu, et al.
Published: (2025)

Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
by: Rabbi, Md Fazle, et al.
Published: (2025)

Multifaceted Hero Developers and Bug-Fixing Outcomes Across Severity
by: Kumar, Amit, et al.
Published: (2026)

Developers' Perception: Fixed Bugs Often Overlooked as Quality Contributions
by: Alifanov, Vitaly, et al.
Published: (2024)

Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management
by: Zhang, Lyuye, et al.
Published: (2025)

Beyond Fixed Tests: Repository-Level Issue Resolution as Coevolution of Code and Behavioral Constraints
by: Li, Kefan, et al.
Published: (2026)

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking
by: Xu, Zhuolin, et al.
Published: (2023)

Detecting the Root Cause Code Lines in Bug-Fixing Commits by Heterogeneous Graph Learning
by: Ji, Liguo, et al.
Published: (2025)

CommitShield: Tracking Vulnerability Introduction and Fix in Version Control Systems
by: Wu, Zhaonan, et al.
Published: (2025)

Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications
by: Hanna, Carol, et al.
Published: (2024)

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation
by: Tian, Zhao, et al.
Published: (2023)

A Generic Approach to Fix Test Flakiness in Real-World Projects
by: Chen, Yang, et al.
Published: (2024)

Uncovering and Mitigating the Impact of Frozen Package Versions for Fixed-Release Linux
by: Tang, Wei, et al.
Published: (2024)

Can Agents Fix Agent Issues?
by: Rahardja, Alfin Wijaya, et al.
Published: (2025)

A Sentence-Level Approach to Understanding Software Vulnerability Fixes
by: Gao, Amiao, et al.
Published: (2025)