30,084 Hits in 4.4 sec

A Bug Report Analysis and Search Tool and Its Validation

Yguaratã Cerqueira Cavalcanti, Eduardo Santana de Almeida, Silvio de Lemos Meira
2010 Anais do IX Simpósio Brasileiro de Qualidade de Software (SBQS 2010)   unpublished
In this sense, this dissertation investigates and characterizes the problem of bug report duplication and proposes a solution to it.  ...  analysis.  ...  Acknowledgement This work was partially supported by the National Institute of Science and Technology for Software Engineering 3 , funded by CNPq and FACEPE, grants 573964/2008-4, APQ-1037-1.03/08 and  ... 
doi:10.5753/sbqs.2010.15453 fatcat:byzwvrffurhjpmmn6zjkpfrlnu

Experience report: How do techniques, programs, and tests impact automated program repair?

Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
2015 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)  
Therefore, a huge body of research efforts have been dedicated to design and implement automated program repair techniques.  ...  We also computed the false positive rates and discussed the ratio of the explored search space to the whole search space for each studied technique.  ...  RQ4: Do the tool-reported patches really fix the bug? Tool-reported patch is a patch which can pass all test cases in the test suites. It may not fix the bug actually.  ... 
doi:10.1109/issre.2015.7381813 dblp:conf/issre/KongZWL15 fatcat:vay2dw2wxjcj7pdx4gwldz3sfu

Semantic Fuzzing with Zest [article]

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 arXiv   pre-print
Zest leverages program feedback in the form of code coverage and input validity to perform feedback-directed parameter search.  ...  Generator-based testing tools in the lineage of QuickCheck are a promising way to generate random syntactically valid test inputs for these programs.  ...  The Closure developers fixed this issue after our report. D is a bug in Closure's semantic analysis of variable declarations.  ... 
arXiv:1812.00078v2 fatcat:gutor7pgojcaxlnwjvpqms4zea

Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses [chapter]

Dirk Beyer, Matthias Dangl
2016 Lecture Notes in Computer Science  
Our second component is a web service that takes as input a witness for the property violation and (re-)validates it, i.e., it re-plays the witness on the system in order to re-explore the state-space  ...  Can the error report later be re-used for bug fixing or regression testing?  ...  A bug report that a verifier returns can potentially be a false alarm, so it is convenient for the user to first automatically cross-examine the report, before manual effort is invested (and perhaps wasted  ... 
doi:10.1007/978-3-319-41540-6_28 fatcat:h53cnrk2ivbczedn76uuofquq4

Data-Driven Application Maintenance: Experience from the Trenches

Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
2017 2017 IEEE/ACM 4th International Workshop on Software Engineering Research and Industrial Practice (SER&IP)  
In the context of IT services, these problems are frequently encountered, yet there is a gap in bringing automation and optimization.  ...  Despite long-standing research around mining and analysis of software repositories, such research outputs are not adopted well in practice due to the constraints these solutions impose on the users.  ...  5% below the other tool in performance (precision of top 20 relevant bugs for a new bug).  ... 
doi:10.1109/ser-ip.2017..8 dblp:conf/icse/MisraSRSP17 fatcat:tuglkzbpzvcbnk4up2aqbvhxju

Test-case reduction for C compiler bugs

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012 SIGPLAN notices  
To report a compiler bug, one must often find a small test case that triggers the bug.  ...  To obtain small and valid test cases consistently, we designed and implemented three new, domain-specific test-case reducers.  ...  Acknowledgments We thank Alastair Reid and the anonymous PLDI '12 reviewers for their comments on drafts of this paper.  ... 
doi:10.1145/2345156.2254104 fatcat:chumfmd7vbbqbehifpnoztl5i4

Test-case reduction for C compiler bugs

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
To report a compiler bug, one must often find a small test case that triggers the bug.  ...  To obtain small and valid test cases consistently, we designed and implemented three new, domain-specific test-case reducers.  ...  Acknowledgments We thank Alastair Reid and the anonymous PLDI '12 reviewers for their comments on drafts of this paper.  ... 
doi:10.1145/2254064.2254104 dblp:conf/pldi/RegehrCCEEY12 fatcat:3jxxyynm5jb77dvrvyefrljmvi

Study of various Bug Tracking Tools

Aman Jatain Pooja Batra
2020 Zenodo  
Presented study helps to select the tool that provides the best solution in context to the requirement of industry. A Comparative matrix is given to provide better analysis and visualization of same.  ...  It handles cross communication between different team members and keeps the track of bug handling which makes it scalable.  ...  Mantis Mantis is a free and open source web based bug tracking tool. The name mantis and its logo refer to the Mantidae which is a family of insects.  ... 
doi:10.5281/zenodo.5010347 fatcat:w462c5qrajdepbavy4orbpjg3y

The strength of random search on automated program repair

Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang
2014 Proceedings of the 36th International Conference on Software Engineering - ICSE 2014  
To address the question, we present a new automated repair technique using random search, which is commonly considered much simpler than genetic programming, and implement a prototype tool called RSRepair  ...  According to experimental results, we suggest that every proposed technique using optimization algorithm should check its effectiveness by comparing it with random search.  ...  An efficient repair tool should find a valid patch with fewer NTCE.  ... 
doi:10.1145/2568225.2568254 dblp:conf/icse/QiMLDW14 fatcat:ypziwjbktjfmhdikmhurxqex2y

Root cause prediction based on bug reports [article]

Thomas Hirsch, Birgit Hofer
2021 arXiv   pre-print
We mined 54755 closed bug reports from the issue trackers of 103 GitHub projects and applied a set of heuristics to create a benchmark consisting of 10459 reports.  ...  Since the types of root cause are not equally distributed, a combination of keyword search and random selection was applied.  ...  If so, knowledge about the bug type combined with reports from code analysis tools can be utilized to aid fault localization.  ... 
arXiv:2103.02372v1 fatcat:3apmx6dbfff3db5xnl7emohewa

Checking Smart Contracts with Structural Code Embedding [article]

Zhipeng Gao, Lingxiao Jiang, Xin Xia, David Lo, John Grundy
2020 arXiv   pre-print
Our tool can also help to efficiently validate any given smart contract against a known set of bugs, which can help to improve the users' confidence in the reliability of the contract.  ...  Thus, there is a significant need to better maintain smart contract code and ensure its high reliability.  ...  given piece of code; bug detection is to search for code in a code base "similar" to a known bug; and code validation is to search for (non-existence of) code in a code base "similar" to any bug.  ... 
arXiv:2001.07125v1 fatcat:5eegfwtqkvbqlb2yatmlgnrpd4

Inferring Test Models from Kate's Bug Reports Using Multi-objective Search [chapter]

Yuanyuan Zhang, Mark Harman, Yue Jia, Federica Sarro
2015 Lecture Notes in Computer Science  
We apply our approach to 721 of Kate's bug reports which contain the information required to reproduce the bugs. We compare our results to start-of-the-art KLFA tool.  ...  Our results show that our inferred models require 19 tests to reveal a bug on average, which is 98 times fewer than the models inferred by KLFA.  ...  Acknowledgements: We wish to express our gratitude to Paolo Tonella for his helpful suggestion and the search-based FSM tools provided.  ... 
doi:10.1007/978-3-319-22183-0_27 fatcat:pjx4wcndcjfnbjzt56a7o36vs4

GLAD: Neural Predicate Synthesis to Repair Omission Faults [article]

Sungmin Kang, Shin Yoo
2022 arXiv   pre-print
reasonable runtime cost, underscoring its utility as an APR tool and potential to complement existing tools in practice.  ...  GLAD intelligently constrains the language model using a type-based grammar. Further, it efficiently reduces the validation cost by performing dynamic ranking of candidate patches using a debugger.  ...  Finally, we report the number of times each bug was fixed by a technique listed in Table 1 and check how many bugs GLAD has fixed against the field as a whole.  ... 
arXiv:2204.06771v1 fatcat:vuzwzo762bffpaaar6qlfiepwi

Automated Customized Bug-Benchmark Generation [article]

Vineeth Kashyap, Jason Ruchti, Lucja Kot, Emma Turetsky, Rebecca Swords, Shih An Pan, Julien Henry, David Melski, Eric Schulte
2019 arXiv   pre-print
We share a benchmark generated using Bug-Injector and illustrate its efficacy by using it to evaluate the recall of two leading open-source static analysis tools: Clang Static Analyzer and Infer.  ...  It also allows us to create customized benchmarks suitable for evaluating tools for a specific use case (e.g., a given codebase and set of bug types).  ...  We credit a tool with finding an injected bug if it reports a bug of an appropriate type on at least one of the injected code lines.  ... 
arXiv:1901.02819v2 fatcat:ynwjhqar35bgpnnzubhnhomr7q

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  
This historically involved developers treating each defect as a unique maintenance concern, which results in a slow process and thus a high aggregate cost for finding and fixing bugs.  ...  Software maintenance, a dominant cost in the software lifecycle [2], includes both adding new functionality and fixing existing problems, or "bugs," in a system.  ...  An advantage of our approach is that it does not distinguish between "true positive defect reports" (real bugs) and "false positive defect reports" (spurious reports from the static analysis tool).  ... 
doi:10.1109/icst.2013.77 dblp:conf/icst/FryW13 fatcat:lcayagsfkfc37fh6smvwur2pcu
« Previous Showing results 1 — 15 out of 30,084 results