Deep Learning Based Concurrency Bug Detection and Localization
Fuente:
arXiv
Saved in:
| Main Authors: | Feng, Zuocheng, Zhang, Kaiwen, Wang, Miaomiao, Cheng, Yiming, Cai, Yuandao, Li, Xiaofeng, Liu, Guanjun |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022)
by: Zhang, Kaiwen, et al.
Published: (2022)
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
by: Cai, Yuandao, et al.
Published: (2026)
by: Cai, Yuandao, et al.
Published: (2026)
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025)
by: Wang, Yongchao, et al.
Published: (2025)
MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
by: Deng, Zhiling, et al.
Published: (2025)
by: Deng, Zhiling, et al.
Published: (2025)
Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)
by: Zhang, Yu, et al.
Published: (2024)
SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)
by: Zaman, Tarannum Shaila, et al.
Published: (2026)
Checker Bug Detection and Repair in Deep Learning Libraries
by: Harzevili, Nima Shiri, et al.
Published: (2024)
by: Harzevili, Nima Shiri, et al.
Published: (2024)
A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
by: Zhang, Kaiwen, et al.
Published: (2026)
by: Zhang, Kaiwen, et al.
Published: (2026)
When Deep Learning Meets Information Retrieval-based Bug Localization: A Survey
by: Niu, Feifei, et al.
Published: (2025)
by: Niu, Feifei, et al.
Published: (2025)
An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
by: Li, Zhuang, et al.
Published: (2026)
by: Li, Zhuang, et al.
Published: (2026)
Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
by: Manke, Ruchira, et al.
Published: (2024)
by: Manke, Ruchira, et al.
Published: (2024)
Towards Understanding the Challenges of Bug Localization in Deep Learning Systems
by: Jahan, Sigma, et al.
Published: (2024)
by: Jahan, Sigma, et al.
Published: (2024)
CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
by: Zhang, Xiaoyu, et al.
Published: (2024)
by: Zhang, Xiaoyu, et al.
Published: (2024)
Identifying Concurrency Bug Reports via Linguistic Patterns
by: Shao, Shuai, et al.
Published: (2026)
by: Shao, Shuai, et al.
Published: (2026)
BugScope: Learn to Find Bugs Like Human
by: Guo, Jinyao, et al.
Published: (2025)
by: Guo, Jinyao, et al.
Published: (2025)
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
by: Zhang, Kunpeng, et al.
Published: (2026)
by: Zhang, Kunpeng, et al.
Published: (2026)
Toward Understanding Deep Learning Framework Bugs
by: Chen, Junjie, et al.
Published: (2022)
by: Chen, Junjie, et al.
Published: (2022)
Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
by: Zaman, Tarannum Shaila, et al.
Published: (2025)
by: Zaman, Tarannum Shaila, et al.
Published: (2025)
A Deep Dive into Large Language Models for Automated Bug Localization and Repair
by: Hossain, Soneya Binta, et al.
Published: (2024)
by: Hossain, Soneya Binta, et al.
Published: (2024)
A Novel Mutation Based Method for Detecting FPGA Logic Synthesis Tool Bugs
by: Zhang, Yi, et al.
Published: (2025)
by: Zhang, Yi, et al.
Published: (2025)
Seeing is Believing: Vision-driven Non-crash Functional Bug Detection for Mobile Apps
by: Liu, Zhe, et al.
Published: (2024)
by: Liu, Zhe, et al.
Published: (2024)
Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)
by: Rathnasuriya, Ravishka, et al.
Published: (2026)
A Comprehensive Study of Bugs in Modern Distributed Deep Learning Systems
by: Ma, Xiaoxue, et al.
Published: (2025)
by: Ma, Xiaoxue, et al.
Published: (2025)
DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics
by: Liu, Han, et al.
Published: (2024)
by: Liu, Han, et al.
Published: (2024)
Push Your Agent: Measuring and Enforcing Quantitative Goal Persistence in Long-Horizon LLM Agents
by: Cai, Yuandao, et al.
Published: (2026)
by: Cai, Yuandao, et al.
Published: (2026)
Go-Oracle: Automated Test Oracle for Go Concurrency Bugs
by: Tsimpourlas, Foivos, et al.
Published: (2024)
by: Tsimpourlas, Foivos, et al.
Published: (2024)
Detecting the Root Cause Code Lines in Bug-Fixing Commits by Heterogeneous Graph Learning
by: Ji, Liguo, et al.
Published: (2025)
by: Ji, Liguo, et al.
Published: (2025)
RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
by: Zheng, Mingwei, et al.
Published: (2025)
by: Zheng, Mingwei, et al.
Published: (2025)
RLocator: Reinforcement Learning for Bug Localization
by: Chakraborty, Partha, et al.
Published: (2023)
by: Chakraborty, Partha, et al.
Published: (2023)
LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
by: Guo, Liwei, et al.
Published: (2025)
by: Guo, Liwei, et al.
Published: (2025)
Detecting Metadata-Related Bugs in Enterprise Applications
by: Kabir, Md Mahir Asef, et al.
Published: (2025)
by: Kabir, Md Mahir Asef, et al.
Published: (2025)
Bug Priority Change: An Empirical Study on Apache Projects
by: Li, Zengyang, et al.
Published: (2024)
by: Li, Zengyang, et al.
Published: (2024)
LadyBug: A GitHub Bot for UI-Enhanced Bug Localization in Mobile Apps
by: Mahmud, Junayed, et al.
Published: (2025)
by: Mahmud, Junayed, et al.
Published: (2025)
Bridging Bug Localization and Issue Fixing: A Hierarchical Localization Framework Leveraging Large Language Models
by: Chang, Jianming, et al.
Published: (2025)
by: Chang, Jianming, et al.
Published: (2025)
DESIL: Detecting Silent Bugs in MLIR Compiler Infrastructure
by: Suo, Chenyao, et al.
Published: (2025)
by: Suo, Chenyao, et al.
Published: (2025)
Bug Priority Change Prediction: An Exploratory Study on Apache Software
by: Cai, Guangzong, et al.
Published: (2025)
by: Cai, Guangzong, et al.
Published: (2025)
GitBugs: Bug Reports for Duplicate Detection, Retrieval Augmented Generation, Triage, and More
by: Patil, Avinash, et al.
Published: (2025)
by: Patil, Avinash, et al.
Published: (2025)
An Extensive Replication Study of the ABLoTS Approach for Bug Localization
by: Niu, Feifei, et al.
Published: (2026)
by: Niu, Feifei, et al.
Published: (2026)
BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
by: Li, Dawei, et al.
Published: (2026)
by: Li, Dawei, et al.
Published: (2026)
Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
by: Shah, Mehil B, et al.
Published: (2024)
by: Shah, Mehil B, et al.
Published: (2024)
Similar Items
-
Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
by: Zhang, Kaiwen, et al.
Published: (2022) -
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
by: Cai, Yuandao, et al.
Published: (2026) -
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
by: Wang, Yongchao, et al.
Published: (2025) -
MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
by: Deng, Zhiling, et al.
Published: (2025) -
Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)