Cover Image

Automata Models for Effective Bug Pattern Description

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yaacov, Tom, Weiss, Gera, Amram, Gal, Hayoun, Avi
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

Black-Box Bug-Amplification for Multithreaded Software
by: Weiss, Yeshayahu, et al.
Published: (2025)

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
by: Yaacov, Tom, et al.
Published: (2024)

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods
by: Yaacov, Tom, et al.
Published: (2025)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

Generalized Coverage Criteria for Combinatorial Sequence Testing
by: Elyasaf, Achiya, et al.
Published: (2022)

Evaluating the Effectiveness of Small Language Models in Detecting Refactoring Bugs
by: Gheyi, Rohit, et al.
Published: (2025)

Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings (Extended Version)
by: Müller, Robert, et al.
Published: (2024)

Identifying Concurrency Bug Reports via Linguistic Patterns
by: Shao, Shuai, et al.
Published: (2026)

Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models
by: Tu, Haoxin, et al.
Published: (2023)

Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions
by: Saha, Antu, et al.
Published: (2024)

Utilizing Source Code Syntax Patterns to Detect Bug Inducing Commits using Machine Learning Models
by: Nadim, Md, et al.
Published: (2022)

SelfHeal: Empirical Fix Pattern Analysis and Bug Repair in LLM Agents
by: Islam, Niful, et al.
Published: (2026)

Bug Whispering: Towards Audio Bug Reporting
by: Masserini, Elena, et al.
Published: (2025)

Understanding Bugs in Template Engine-Based Applications: Symptoms, Root Causes, and Fix Patterns
by: Gao, Kai, et al.
Published: (2026)

BugScope: Learn to Find Bugs Like Human
by: Guo, Jinyao, et al.
Published: (2025)

A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems
by: Chen, Yuntianyi, et al.
Published: (2025)

Quality Evaluation of COBOL to Java Code Transformation
by: Froimovich, Shmulik, et al.
Published: (2025)

Challenging Bug Prediction and Repair Models with Synthetic Bugs
by: Ibrahimzada, Ali Reza, et al.
Published: (2023)

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
by: La Prova, Daniele, et al.
Published: (2025)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
by: Przymus, Piotr, et al.
Published: (2025)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
by: Silva, André, et al.
Published: (2024)

The Value of Effective Pull Request Description
by: Pirouzkhah, Shirin, et al.
Published: (2026)

HotBugs.jar: A Benchmark of Hot Fixes for Time-Critical Bugs
by: Hanna, Carol, et al.
Published: (2025)

BugRepro: Enhancing Android Bug Reproduction with Domain-Specific Knowledge Integration
by: Yin, Hongrong, et al.
Published: (2025)

BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
by: Li, Dawei, et al.
Published: (2026)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
by: Zaman, Tarannum Shaila, et al.
Published: (2026)

Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
by: Fandina, Ora Nova, et al.
Published: (2025)

AEGIS: An Agent-based Framework for General Bug Reproduction from Issue Descriptions
by: Wang, Xinchen, et al.
Published: (2024)

Agentic Bug Reproduction for Effective Automated Program Repair at Google
by: Cheng, Runxiang, et al.
Published: (2025)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
by: Guo, Liwei, et al.
Published: (2025)

GitBugs: Bug Reports for Duplicate Detection, Retrieval Augmented Generation, Triage, and More
by: Patil, Avinash, et al.
Published: (2025)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
by: Saavedra, Nuno, et al.
Published: (2023)

Characterising Bugs in Jupyter Platform
by: Tang, Yutian, et al.
Published: (2025)

Continuously Learning Bug Locations
by: Mindom, Paulina Stevia Nouwou, et al.
Published: (2024)

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

Improving Compiler Bug Isolation by Leveraging Large Language Models
by: Qi, Yixian, et al.
Published: (2025)

LadyBug: A GitHub Bot for UI-Enhanced Bug Localization in Mobile Apps
by: Mahmud, Junayed, et al.
Published: (2025)

BugsRepo: A Comprehensive Curated Dataset of Bug Reports, Comments and Contributors Information from Bugzilla
by: Acharya, Jagrit, et al.
Published: (2025)

An Exploratory Study of Bug-Introducing Changes: Exploring Relationships in Bug-Introducing Changes Towards Causal Understanding
by: Schulte, Lukas, et al.
Published: (2023)