Cover Image

Black-Box Bug-Amplification for Multithreaded Software

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Weiss, Yeshayahu, Amram, Gal, Elyasaf, Achiya, Farchi, Eitan, Margalit, Oded, Weiss, Gera
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

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

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

Automata Models for Effective Bug Pattern Description
by: Yaacov, Tom, et al.
Published: (2025)

Evolving Assembly Code in an Adversarial Environment
by: Maliukov, Irina, et al.
Published: (2024)

Enhancing Formal Software Specification with Artificial Intelligence
by: Nassar, Antonio Abu, et al.
Published: (2026)

Effective Technical Reviews
by: Ballentine, Scott, et al.
Published: (2024)

Quality Engineering for Agile and DevOps on the Cloud and Edge
by: Farchi, Eitan, et al.
Published: (2023)

A Practical Approach to Combinatorial Test Design
by: Farchi, Eitan, et al.
Published: (2024)

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

An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models
by: Zadorojniy, Alexander, et al.
Published: (2025)

Automatic Generation of Benchmarks and Reliable LLM Judgment for Code Tasks
by: Farchi, Eitan, et al.
Published: (2024)

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

Automated Validation of LLM-based Evaluators for Software Engineering Artifacts
by: Fandina, Ora Nova, et al.
Published: (2025)

A Behavior-Based Knowledge Representation Improves Prediction of Players' Moves in Chess by 25%
by: Skidanov, Benny, et al.
Published: (2025)

Beyond Blind Spots: Analytic Hints for Mitigating LLM-Based Evaluation Pitfalls
by: Fandina, Ora Nova, et al.
Published: (2025)

Technique to Baseline QE Artefact Generation Aligned to Quality Metrics
by: Farchi, Eitan, et al.
Published: (2025)

An Empirical Study of Interaction Bugs in ROS-based Software
by: Chen, Zhixiang, et al.
Published: (2025)

Bug Priority Change Prediction: An Exploratory Study on Apache Software
by: Cai, Guangzong, et al.
Published: (2025)

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
by: Davis, Matthew, et al.
Published: (2025)

From Bugs to Benchmarks: A Comprehensive Survey of Software Defect Datasets
by: Zhu, Hao-Nan, et al.
Published: (2025)

An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs
by: Liao, Zeqin, et al.
Published: (2025)

Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation
by: Mahbub, Parvez, et al.
Published: (2022)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
by: Zaman, Tarannum Shaila, et al.
Published: (2025)

Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
by: Shah, Mehil B, et al.
Published: (2024)

BugMentor: Generating Answers to Follow-up Questions from Software Bug Reports using Structured Information Retrieval and Neural Text Generation
by: Mukherjee, Usmi, et al.
Published: (2023)

Characterizing Bugs and Quality Attributes in Quantum Software: A Large-Scale Empirical Study
by: Yousuf, Mir Mohammad, 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)

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

Feedback Loops and Code Perturbations in LLM-based Software Engineering: A Case Study on a C-to-Rust Translation System
by: Weiss, Martin, et al.
Published: (2025)

Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing
by: Asmita, et al.
Published: (2024)

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

What Makes Software Bugs Escape Testing? Evidence from a Large-Scale Empirical Study
by: Cotroneo, Domenico, et al.
Published: (2026)

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)

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)

PACIFIC: a framework for generating benchmarks to check Precise Automatically Checked Instruction Following In Code
by: Dreyfuss, Itay, et al.
Published: (2025)

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