686 Hits in 4.6 sec

Towards a simplification of the bug report form in eclipse

Israel Herraiz, Daniel M. German, Jesus M. Gonzalez-Barahona, Gregorio Robles
2008 Proceedings of the 2008 international workshop on Mining software repositories - MSR '08  
We believe that the bug report form of Eclipse contains too many fields, and that for some fields, there are too many options.  ...  The results shows that classifying by time to close, there are less clusters of bugs than levels of severity. We therefore conclude that there is a need to make a simpler bug report form.  ...  CONCLUSIONS AND FURTHER WORK We believe that the report forms of Bugzilla (the bug tracking system used by Eclipse) are too complex.  ... 
doi:10.1145/1370750.1370786 dblp:conf/msr/HerraizGGR08 fatcat:ma4sv6t4uraznemnmclabxhzfy

On the relationship between comment update practices and Software Bugs

Walid M. Ibrahim, Nicolas Bettenburg, Bram Adams, Ahmed E. Hassan
2012 Journal of Systems and Software  
comments, which in turn might mislead developers and cause the introduction of bugs in the future.  ...  Instead, a change in which a function and its comment are suddenly updated inconsistently, whereas they are usually updated consistently (or vice versa), is risky (high probability of introducing a bug  ...  The authors want to thank Yasutaka Kamei and reviewers of earlier revisions for their insightful suggestions and comments.  ... 
doi:10.1016/j.jss.2011.09.019 fatcat:twmshadrlnbrnfdi6itctmdlqm

Dynamic Bug Triage System with Data Classification Techniques

Swapnil Pasarkar, Neha Bagal, Shilpa Nair, Kshitija Godse
2015 International Journal of Engineering Research and  
Bug triage system is the process of fixing bug, which aims to correctly assign a developer to a new bug. Programming organizations spend more than 45 percent of expense in managing programming bugs.  ...  In this paper we have presented a new module which will describe the status of the bug like whether it assigned to any developer or not and whether the developer has rectified it or not.  ...  S.B.Ingle and Nelsoft Technologies for their valuable guidance and support in simulation and implementation of project idea.  ... 
doi:10.17577/ijertv4is110538 fatcat:sxa6gszsrvea3pmumknvlph2xi

Towards automatic software model checking of thousands of Linux modules-a case study with Avinux

Hendrik Post, Carsten Sinz, Wolfgang Küchlin
2009 Software testing, verification & reliability  
and simplification, and the invocation of the verification backend.  ...  The tool chain is implemented as a plugin for the Eclipse IDE, using the source code bounded model checker CBMC as its backend.  ...  Using DEC, this number is reduced to 81 error reports. The inspection of 81 bug reports is still a matter of days.  ... 
doi:10.1002/stvr.399 fatcat:3l3ilnqpmnfajlqqgjr7zmat6y

Automated bug isolation via program chipping

Chad D. Sterling, Ronald A. Olsson
2005 Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05  
This paper introduces program chipping, a simple yet effective technique to isolate bugs.  ...  Program chipping is similar in spirit to traditional program slicing and debugging techniques and tools, but chipping uses very simple techniques based on the syntactic structure of the program.  ...  Acknowledgments Trung Pham participated in discussions of this work and tested an early version of ChipperJ.  ... 
doi:10.1145/1085130.1085134 dblp:conf/aadebug/SterlingO05 fatcat:24ufnhv5rrbkbfnz6ipu5sn37a

Automated bug isolation via program chipping

Chad D. Sterling, Ronald A. Olsson
2007 Software, Practice & Experience  
This paper introduces program chipping, a simple yet effective technique to isolate bugs.  ...  Program chipping is similar in spirit to traditional program slicing and debugging techniques and tools, but chipping uses very simple techniques based on the syntactic structure of the program.  ...  Acknowledgments Trung Pham participated in discussions of this work and tested an early version of ChipperJ.  ... 
doi:10.1002/spe.798 fatcat:f4ju3weenrgmzgqhjsvuxbyecm

Automatically generated patches as debugging aids: a human study

Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu
2014 Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014  
We recruited 95 participants for a controlled experiment, in which they performed debugging tasks with the aid of either buggy locations (i.e., the control group), or generated patches of varied qualities  ...  In this study, we take one step back and investigate a more feasible application scenario of automatic patch generation, that is, using generated patches as debugging aids.  ...  ACKNOWLEDGMENTS We thank all the participants for their help with the human study. We thank Fuxiang Chen and Gyehyung Jeon for their help with the result analysis.  ... 
doi:10.1145/2635868.2635873 dblp:conf/sigsoft/TaoKKX14 fatcat:busksept7vc2dpzkc6zvnntvb4

Exception-Handling Bugs in Java and a Language Extension to Avoid Them [chapter]

Westley Weimer
2006 Lecture Notes in Computer Science  
We propose and evaluate a new language feature, the compensation stack, to make it easier to write solid code in the presence of exceptions.  ...  It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs handle exceptions.  ...  Without reporting any bugs to developers we looked for those bugs in eclipse 3.0.1 to see if they had been fixed by the natural course of eclipse development.  ... 
doi:10.1007/11818502_2 fatcat:5mwtveb7v5g7tmjafr4eoacu6u

An Alternative to SAT-Based Approaches for Bit-Vectors [chapter]

Sébastien Bardin, Philippe Herrmann, Florian Perroud
2010 Lecture Notes in Computer Science  
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification.  ...  This framework is implemented in a prototype and thorough experimental studies have been conducted.  ...  We are very grateful to Bruno Marre and Benjamin Blanc for designing, developing and maintaining the COLIBRI solver, as well as for many insightful comments and advices.  ... 
doi:10.1007/978-3-642-12002-2_7 fatcat:3g32qdzo35hzxhhgad6hcwt4fe

Analysing the program analyser

Cristian Cadar, Alastair F. Donaldson
2016 Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16  
The reliability of program analysis tools is clearly important if such tools are to play a serious role in improving the quality and integrity of software systems, and the confidence which users place  ...  In this position paper we present our vision that, by 2025, the use of more rigorous analyses to check the reliability of program analysers will be commonplace.  ...  ACKNOWLEDGEMENTS We would like to thank the anonymous reviewers and Jeroen Ketema, Tomasz Kuchta, Daniel Liew, and Hristina Palikareva for their comments on this paper, and EPSRC for supporting this research  ... 
doi:10.1145/2889160.2889206 dblp:conf/icse/CadarD25 fatcat:6hjyekn4onf6ra6fisjuvhfdha

Patch rejection in Firefox: negative reviews, backouts, and issue reopening

Rodrigo RG Souza, Christina FG Chavez, Roberto A Bittencourt
2015 Journal of Software Engineering Research and Development  
Our objective is to better understand the relationship among different forms of patch rejection and to characterize their frequency within a project.  ...  Writing patches to fix bugs or implement new features is an important software development task, as it contributes to raise the quality of a software system.  ...  Acknowledgements The authors would like to thank all Firefox engineers who provided feedback on early results of this research. Author details  ... 
doi:10.1186/s40411-015-0024-z fatcat:ibj45pb3tvarhmsrzqrenxr4ze

Leveraging Light-Weight Analyses to Aid Software Maintenance

Zachary P. Fry, Westley Weimer
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
The first of these techniques clusters closely-related, automatically generated defect reports to aid in the process of bug triage and repair.  ...  By evaluating the associated techniques on programs spanning different languages and domains that contain thousands of bug reports and millions of lines of code, the results presented in this dissertation  ...  The goal of a bug report is to aid in the triage, management, and repair of a bug.  ... 
doi:10.1109/icst.2013.77 dblp:conf/icst/FryW13 fatcat:lcayagsfkfc37fh6smvwur2pcu

How bugs are born: a model to identify how bugs are introduced in software components

Gema Rodríguez-Pérez, Gregorio Robles, Alexander Serebrenik, Andy Zaidman, Daniel M. Germán, Jesus M. Gonzalez-Barahona
2020 Empirical Software Engineering  
Thus, further research towards a better understanding of the origin of bugs in software projects could help to improve design integration tests and to design other procedures to make software development  ...  Finding what introduced a bug is not trivial: bugs can be introduced by the developers and be in the code, or be created irrespective of the code.  ...  We also acknowledge the support of several authors by the Government of Spain through projects TIN2014-59400-R and "BugBirth" RTI2018-101963-B-I00.  ... 
doi:10.1007/s10664-019-09781-y fatcat:rf5dkrkidbekndokem5tut2wnu

VANET simulators: an updated review

Julia Silva Weber, Miguel Neves, Tiago Ferreto
2021 Journal of the Brazilian Computer Society  
The possibility of enabling communication between vehicles through a wireless network stimulated the creation of new protocols, devices, and diverse utilization scenarios.  ...  Due to the intrinsic difficulties of using a real testbed to evaluate these research contributions, several simulators were developed at the time.  ...  Acknowledgements This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nivel Superior -Brasil (CAPES) -Finance Code 001  ... 
doi:10.1186/s13173-021-00113-x doaj:0fe8f014806444f3aa58c18a9e1fffee fatcat:uiv72mxklzhdlcibamnfxyfpwm

Simplification of Training Data for Cross-Project Defect Prediction [article]

Peng He, Bing Li, Deguang Zhang, Yutao Ma
2014 arXiv   pre-print
In this paper, we have proposed a training data simplification method for practical CPDP in consideration of multiple levels of granularity and filtering strategies for data sets.  ...  In addition, we have also provided quantitative evidence on the selection of a suitable filter in terms of defect-proneness ratio.  ...  In a word, a class is non-buggy only if the number of bugs in it is equal to 0. Otherwise, it is buggy regardless of the number of bugs.  ... 
arXiv:1405.0773v2 fatcat:aokawo22rzh4fhdkaqogro44lm
« Previous Showing results 1 — 15 out of 686 results