Cover Image

An Annotation-based Approach for Finding Bugs in Neural Network Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rezaalipour, Mohammad, Furia, Carlo A.
Format:	Preprint
Published:	2021
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Empirical Study of Fault Localization in Python Programs
by: Rezaalipour, Mohammad, et al.
Published: (2023)

FauxPy: A Fault Localization Tool for Python
by: Rezaalipour, Mohammad, et al.
Published: (2024)

HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
by: Felici, Riccardo, et al.
Published: (2022)

Challenges of Multilingual Program Specification and Analysis
by: Furia, Carlo A., et al.
Published: (2024)

Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions
by: Furia, Carlo A., et al.
Published: (2023)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
by: Furia, Carlo A., et al.
Published: (2021)

ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
by: Felici, Riccardo, et al.
Published: (2024)

Mitigating Omitted Variable Bias in Empirical Software Engineering
by: Furia, Carlo A., et al.
Published: (2025)

Automated Repair of Resource Leaks in Android Applications
by: Bhatt, Bhargav Nagaraja, et al.
Published: (2020)

Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations
by: Rawal, Ruchit, et al.
Published: (2024)

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

RESTORE: Retrospective Fault Localization Enhancing Automated Program Repair
by: Xu, Tongtong, et al.
Published: (2019)

What Makes a Level Hard in Super Mario Maker 2?
by: Furia, Carlo A., et al.
Published: (2025)

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

Bayesian Data Analysis in Empirical Software Engineering Research
by: Furia, Carlo A., et al.
Published: (2018)

Towards Improving the External Validity of Software Engineering Experiments with Transportability Methods
by: Frattini, Julian, et al.
Published: (2026)

Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
by: Manke, Ruchira, et al.
Published: (2024)

Understanding and Finding JIT Compiler Performance Bugs
by: Yi, Zijian, et al.
Published: (2026)

Ranking Plausible Patches by Historic Feature Frequencies
by: Bhuiyan, Shifat Sahariar, 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 Real-World Bugs in Tile Programs for Automated Bug Detection
by: Rathnasuriya, Ravishka, et al.
Published: (2026)

Finding Cross-rule Optimization Bugs in Datalog Engines
by: Zhang, Chi, et al.
Published: (2024)

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

Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language
by: Nitin, Vikram, et al.
Published: (2023)

Improving IR-based Bug Localization with Semantics-Driven Query Reduction
by: Samir, Asif Mohammed, et al.
Published: (2025)

Chasing Elusive Memory Bugs in GPU Programs
by: Ghosh, Anubhab, et al.
Published: (2026)

Finding XPath Bugs in XML Document Processors via Differential Testing
by: Li, Shuxin, et al.
Published: (2024)

CITADEL: Context Similarity Based Deep Learning Framework Bug Finding
by: Zhang, Xiaoyu, et al.
Published: (2024)

BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies
by: Widyasari, Ratnadira, et al.
Published: (2024)

InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
by: Wright, Tanner, et al.
Published: (2026)

Human Attention During Localization of Memory Bugs in C Programs
by: Smith, Emory, et al.
Published: (2025)

Bug-locating Method based on Statistical Testing for Quantum Programs
by: Sato, Naoto, et al.
Published: (2024)

"Silent Is Not Actually Silent": An Investigation of Toxicity on Bug Report Discussion
by: Imran, Mia Mohammad, et al.
Published: (2025)

Investigating the Impact of Code Comment Inconsistency on Bug Introducing
by: Radmanesh, Shiva, et al.
Published: (2024)

Understanding the Impact of Domain Term Explanation on Duplicate Bug Report Detection
by: Mukherjee, Usmi, et al.
Published: (2025)

Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection
by: Shirai, Tatsuya, et al.
Published: (2026)

An Exploratory Study on Just-in-Time Multi-Programming-Language Bug Prediction
by: Li, Zengyang, et al.
Published: (2024)

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

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
by: Liu, Ruofan, et al.
Published: (2025)

Confident Learning-based Network for Detecting Bug-Inducing Commits on SZZ with Noisy Labels
by: Sun, Weihao, et al.
Published: (2026)