Filters








3,538 Hits in 4.0 sec

Data Model Bugs [chapter]

Ivan Bocić, Tevfik Bultan
2015 Lecture Notes in Computer Science  
Cloud systems are frequently used to store and  ...  Detection and prevention of data model bugs remains to be an important research direction.  ...  These bugs are hard to detect unless the leaked data accumulates to a certain point. Their impact is limited to performance, not affecting the semantics of the program.  ... 
doi:10.1007/978-3-319-17524-9_27 fatcat:te4rrijqavhbfmmdyjx66wwa5y

A deeper look into bug fixes

Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo
2016 Proceedings of the 13th International Workshop on Mining Software Repositories - MSR '16  
Many implementations of research techniques that automatically repair software bugs target programs written in C.  ...  However, Java and C are very different languages, and Java should be studied to inform the construction of repair approaches to target it.  ...  [5] manually analyze changes to Java programs to inform automated repair, and show that doing so results in higher-quality repairs; we study their templates heuristically on a different dataset.  ... 
doi:10.1145/2901739.2903495 dblp:conf/msr/SotoTWGL16 fatcat:am5rqup6kzc4xoo27woh7fxe2y

Automatically Repairing Programs Using Both Tests and Bug Reports [article]

Manish Motwani, Yuriy Brun
2022 arXiv   pre-print
As industry begins deploying automated program repair, concerns remain about repair quality.  ...  This paper develops a new fault localization (FL) technique that combines information from bug reports and test executions and uses it to improve the quality of program repair.  ...  INTRODUCTION Automated program repair (APR) aims to reduce the cost of fixing bugs by automatically producing patches [19] , [41] .  ... 
arXiv:2011.08340v3 fatcat:zh4m7ywu5jc5vpzf4uk32h4flu

Discovering bug patterns in JavaScript

Quinn Hanam, Fernando S. de M. Brito, Ali Mesbah
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
Our findings are useful for improving tools and techniques to prevent common bugs in JavaScript, guiding tool integration for IDEs, and making developers aware of common mistakes involved with programming  ...  As such, it is still unclear which bugs happen frequently in practice and which are important for developers to be fixed.  ...  [48] use line level differencing to extract and reason about repair patterns for automated program repair.  ... 
doi:10.1145/2950290.2950308 dblp:conf/sigsoft/HanamBM16 fatcat:qt3vuecjyzfd5mnbw72kglqk6u

Katana: Dual Slicing-Based Context for Learning Bug Fixes [article]

Mifta Sintaha, Noor Nashid, Ali Mesbah
2022 arXiv   pre-print
Context can also be important in deep learning-based program repair to provide extra information about the bug and its fix.  ...  We present our technique and tool called Katana, the first to apply slicing-based context for a program repair task.  ...  INTRODUCTION Traditional automated error detection [33] and program repair [6, 19, 22] techniques rely on a set of predefined templates and rules that are limited to specific software bug patterns;  ... 
arXiv:2205.00180v1 fatcat:nk52hya3rfhglbsmax6pxjh63m

How Often Do Single-Statement Bugs Occur? The ManySStuBs4J Dataset [article]

Rafael-Michael Karampatsis, Charles Sutton
2019 arXiv   pre-print
Program repair is an important but difficult software engineering problem.  ...  Java projects respectively, annotated by whether they match any of a set of 16 bug templates, inspired by state-of-the-art program repair techniques.  ...  The data could also be used to answer other research questions, such as empirical questions about how and when simple bugs are introduced, or about evaluating program repair techniques for small bugs.  ... 
arXiv:1905.13334v1 fatcat:gt2mjlwvufbcrpfsdq7dvwpyqy

Dissection of a bug dataset: Anatomy of 395 patches from Defects4J

Victor Sobreira, Thomas Durieux, Fernanda Madeiral, Martin Monperrus, Marcelo de Almeida Maia
2018 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
Well-designed and publicly available datasets of bugs are an invaluable asset to advance research fields such as fault localization and program repair as they allow directly and fairly comparison between  ...  These datasets need to be deeply understood by researchers: the answer for questions like "which bugs can my technique handle?" and "for which bugs is my technique effective?"  ...  ACKNOWLEDGEMENT We acknowledge CNRS, CAPES (SticAmSud Program), CNPq and FAPEMIG for partially funding this research.  ... 
doi:10.1109/saner.2018.8330203 dblp:conf/wcre/SobreiraDDMM18 fatcat:l5om42iemzdj3cud52oe55l2mm

Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset [article]

Matias Martinez and Thomas Durieux and Jifeng Xuan and Romain Sommerard and Martin Monperrus
2015 arXiv   pre-print
This analysis shows that test-suite based repair suffers from under-specified bugs, for which trivial and incorrect patches still pass the test suite.  ...  Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J is provided with a test suite and at least one failing test case that triggers the bug.  ...  Different kinds of techniques can be used, such as genetic programming search in GenProg [25] and SMT based program synthesis in SemFix [34] .  ... 
arXiv:1505.07002v2 fatcat:izjxdsej2ndubjfymftkdpgeje

The logic of bugs

Gerard J. Holzmann
2002 Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10  
Software bugs have some of these same traits. We will discuss these traits, and consider what we can do about them.  ...  Real-life bugs are successful because of their unfailing ability to adapt. In particular this applies to their ability to adapt to strategies that are meant to eradicate them as a species.  ...  We can mitigate the effect of this by using techniques for automated model extraction, e.g., as in [3] , [6] , and [2] .  ... 
doi:10.1145/587051.587064 dblp:conf/sigsoft/Holzmann02 fatcat:3xx6jsn4l5bixi45fpjrkm5ium

Self-Supervised Bug Detection and Repair [article]

Miltiadis Allamanis, Henry Jackson-Flux, Marc Brockschmidt
2021 arXiv   pre-print
Towards addressing this, we present BugLab, an approach for self-supervised learning of bug detection and repair.  ...  BugLab co-trains two models: (1) a detector model that learns to detect and repair bugs in code, (2) a selector model that learns to create buggy code for the detector to use as training data.  ...  Acknowledgements We want to thank Sebastian Nowozin and Marwin Segler for helpful discussions, Marwin Segler for comments on a draft of this work, and the anonymous reviewers for useful questions and suggestions  ... 
arXiv:2105.12787v3 fatcat:4j2hjbsf45brfp7wovse2jrm44

Combining bug detection and test case generation

Martin Kellogg
2016 Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016  
Detecting bugs in software is an important software engineering activity. Static bug finding tools can assist in detecting bugs automatically, but they suffer from high false positive rates.  ...  In initial experiments, N-Prog detected bugs and rediscovered test cases that had been removed from a test suite.  ...  ALGORITHM N-Prog combines random mutation (as in mutation testing [12] or automated program repair [15, 17, 21] ) and N-variant systems.  ... 
doi:10.1145/2950290.2983970 dblp:conf/sigsoft/Kellogg16 fatcat:dwxrksmzgre6zkiq73b4vnprje

A manual inspection of Defects4J bugs and its implications for automatic program repair

Jiajun Jiang, Yingfei Xiong, Xin Xia
2019 Science China Information Sciences  
This result suggests that there is much room for the current automatic program repair techniques to improve.  ...  Many different techniques and tools have been proposed and developed.  ...  Introduction Automatic program repair (APR) techniques, which automatically generate patches for defects in programs and target to software automation [1], have gained a lot of attention in the last decade  ... 
doi:10.1007/s11432-018-1465-6 fatcat:gxgip3sbbfbx3nd2knzxh7kf4q

The logic of bugs

Gerard J. Holzmann
2002 Software engineering notes  
Software bugs have some of these same traits. We will discuss these traits, and consider what we can do about them.  ...  Real-life bugs are successful because of their unfailing ability to adapt. In particular this applies to their ability to adapt to strategies that are meant to eradicate them as a species.  ...  We can mitigate the effect of this by using techniques for automated model extraction, e.g., as in [3] , [6] , and [2] .  ... 
doi:10.1145/605466.605479 fatcat:k2ddnahlpvg7tltaljb4i62l6a

The logic of bugs

Gerard J. Holzmann
2002 Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10  
Software bugs have some of these same traits. We will discuss these traits, and consider what we can do about them.  ...  Real-life bugs are successful because of their unfailing ability to adapt. In particular this applies to their ability to adapt to strategies that are meant to eradicate them as a species.  ...  We can mitigate the effect of this by using techniques for automated model extraction, e.g., as in [3] , [6] , and [2] .  ... 
doi:10.1145/587063.587064 fatcat:avkht7fbsnc3zebfpxjlgavyoe

Getafix: Learning to Fix Bugs Automatically [article]

Johannes Bader and Andrew Scott and Michael Pradel and Satish Chandra
2019 arXiv   pre-print
The approach predicts exactly the human-written fix as the top-most suggestion between 12% and 91% of the time, depending on the bug category.  ...  To the best of our knowledge, Getafix is the first industrially-deployed automated bug-fixing tool that learns fix patterns from past, human-written fixes to produce human-like fixes.  ...  Jeremy Dubreil from the Infer team worked with us to integrate Infer fix suggestions into the existing Infer bug reporting workflow.  ... 
arXiv:1902.06111v5 fatcat:llm5rw5vynaltjpboqymi2h7xu
« Previous Showing results 1 — 15 out of 3,538 results