Filters








5,024 Hits in 7.1 sec

A comprehensive study on deep learning bug characteristics

Md Johirul Islam, Giang Nguyen, Rangeet Pan, Hridesh Rajan
2019 Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019  
The key findings of our study include: data bug and logic bug are the most severe bug types in deep learning software appearing more than 48% of the times, major root causes of these bugs are Incorrect  ...  The key findings of our study include: data bug and logic bug are the most severe bug types in deep learning software appearing more than 48% of the times, major root causes of these bugs are Incorrect  ...  With an incorrect logical structure of the deep learning model, the output of a program may result in either a runtime error or a faulty outcome.  ... 
doi:10.1145/3338906.3338955 dblp:conf/sigsoft/IslamNPR19 fatcat:aceh6ikfc5hrxepeysoiavseba

Bug analysis and corresponding error models in real designs

Tao Lv, Tong Xu, Yang Zhao, Huawei Li, Xiaowei Li
2007 2007 IEEE International High Level Design Validation and Test Workshop  
Structural information obtained from this error model is helpful to reach a greater probability of bug detection than that in random-generation verification with only functional constraints.  ...  It stems from the analysis of real bugs that are collected in two market-oriented projects: (1) the AMBA interface of a general-purpose microprocessor IP core; (2) a wireless sensor network oriented embedded  ...  The experiment with real errors For the CPU core in project 2, there is a bug in the write enable logic for the overflow flag bit in the Status register.  ... 
doi:10.1109/hldvt.2007.4392788 dblp:conf/hldvt/LvXZLL07 fatcat:vy45dlacrzg5fkvnyg4fg2nypu

A characteristic study on failures of production distributed data-parallel programs

Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, Tao Xie
2013 2013 35th International Conference on Software Engineering (ICSE)  
Our major findings include (1) most of the failures (84.5%) are caused by defects in data processing rather than defects in code logic; (2) table-level failures (22.5%) are mainly caused by programmers  ...  ' mistakes and frequent data-schema changes while row-level failures (62%) are mainly caused by exceptional data; (3) 93% fixes do not change data processing logic; (4) there are 8% failures with root  ...  We also thank SCOPE team in Bing for sharing production jobs and data.  ... 
doi:10.1109/icse.2013.6606646 dblp:conf/icse/LiZLXLLX13 fatcat:tayhaphmpvedrl7t3cwoevpj4y

Toward Understanding Deep Learning Framework Bugs [article]

Junjie Chen, Yihua Liang, Qingchao Shen, Jiajun Jiang
2022 arXiv   pre-print
DL frameworks are the basis of constructing all DL programs and models, and thus their bugs could lead to the unexpected behaviors of any DL program or model relying on them.  ...  techniques and developers' efforts on fixing those bugs, we obtain 14 major findings for the comprehensive understanding of DL framework bugs and the current status of existing DL framework testing and  ...  . 2) Incorrect DL-irrelevant algorithm implementation: This sub-category of bugs occur due to the incorrect implementation logic of the algorithms with DL-irrelevant functionalities (such as memory allocation  ... 
arXiv:2203.04026v1 fatcat:x5lalzlaijagjkzl3iajbv3li4

Debugging Methods Through Identification of Appropriate Functions for Internal Gates [chapter]

Kosuke Oshima, Takeshi Matsumoto, Masahiro Fujita
2015 IFIP Advances in Information and Communication Technology  
The second one is to actually identify logic functions for the correction by solving QBF (Quantified Boolean Formula) problems with repeated application of SAT solvers.  ...  In this chapter, we propose methods for correcting gate-level designs by identifying appropriate logic functions for internal gates.  ...  functions with 12-inputs actually appearing in real designs.  ... 
doi:10.1007/978-3-319-23799-2_1 fatcat:qak6vjvfgbasbjp36r33q5v4de

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Mikhail R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis Nicole
2019 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)  
In particular, we complement CSA's existing heuristics that remove spurious bug reports.  ...  Our refutation extension refutes spurious bug reports in 8 out of 12 widely used open-source applications; on average, it refutes ca. 7% of all bug reports, and never refutes any true bug report.  ...  ACKNOWLEDGEMENTS We would like to thank George Karpenkov and Artem Dergachev for the guidance during the development of this project and, in particular, George Karpenkov for the idea for the project.  ... 
doi:10.1109/icse-companion.2019.00026 dblp:conf/icse/GadelhaSC0N19 fatcat:e7scaduuqjdtrm5t5fnf4fxou4

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer [article]

Mikhail R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole
2018 arXiv   pre-print
In particular, we complement CSA's existing heuristics that remove spurious bug reports.  ...  We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver.  ...  ACKNOWLEDGEMENTS We would like to thank George Karpenkov and Artem Dergachev for the guidance during the development of this project and, in particular, George Karpenkov for the idea for the project.  ... 
arXiv:1810.12041v2 fatcat:o7tuzqstzfavfc5fpy5uy53gwy

Automatically diagnosing and repairing error handling bugs in C

Yuchi Tian, Baishakhi Ray
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
To understand the nature of error handling bugs that occur in widely used C programs, we conduct a comprehensive study of real world error handling bugs and their fixes.  ...  We also demonstrate that ErrDoc can fix the bugs with high accuracy.  ...  In contrast, on the same dataset, we find EPEx detects error handling bugs with 98% precision and 63% recall.  ... 
doi:10.1145/3106237.3106300 dblp:conf/sigsoft/TianR17 fatcat:ewxet6dxrnhuhl6mjeyzafirje

An empirical study of reported bugs in server software with implications for automated bug diagnosis

Swarup Kumar Sahoo, John Criswell, Vikram Adve
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
From the study, we find that nearly 82% of bug symptoms can be reproduced deterministically by re-running with the same set of inputs at the production site.  ...  We further find that very few input requests are needed to reproduce most failures; in fact, just one input request after session establishment suffices to reproduce the failure in nearly 77% of the cases  ...  One perhaps surprising implication of the present study is that such a simple approach is likely to work for most bugs in real-world server programs, as described in Section 7.  ... 
doi:10.1145/1806799.1806870 dblp:conf/icse/SahooCA10 fatcat:yphdoe2vevaetja2c46byczucy

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic [chapter]

Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter O'Hearn, Jules Villard
2020 Lecture Notes in Computer Science  
In so doing, we take a step towards transferring modular, scalable techniques from the world of program verification to bug catching.  ...  We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1) separation logic and 2) incorrectness logic.  ...  We thank Petar Maksimović, Philippa Gardner, and the CAV reviewers for their feedback, and Ralf Jung for fruitful discussions in early stages of this work.  ... 
doi:10.1007/978-3-030-53291-8_14 fatcat:5ta75tkpyfcvvnt3ukc6t7n6hi

Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version) [article]

Giles Reger and Martin Suda and Andrei Voronkov
2017 arXiv   pre-print
We separate four different ways in which Vampire can be incorrect: -Incorrect Result -Program Crash -Assertion Violation -Performance Bug We will now briefly discuss what we mean by each class of incorrect  ...  -A sample of real world bugs that we have found in Vampire that demonstrates the complexity of this problem (Section 4).  ... 
arXiv:1704.03391v1 fatcat:oq3ex3t2bvhilkvb55aoozwbxa

How a simple bug in ML compiler could be exploited for backdoors? [article]

Baptiste David
2018 arXiv   pre-print
Whenever a bug occurs in a program, software developers assume that the code is flawed, not the compiler. In fact, if compilers should be correct, they are just normal software with their own bugs.  ...  Hard to find, errors in them have significant impact, since it could result to vulnerabilities, especially when they silently miscompile a critical application.  ...  On the second hand, the compiler can insert, by itself, this temporary variable to correct the logic. With the compiler's bug, we are dealing with incorrect code generated in the following situation.  ... 
arXiv:1811.10851v1 fatcat:a7f7whrhbnbhdbvqmhbzd4sbfu

Assisting Teaching Assistants with Automatic Code Corrections

Yana Malysheva, Caitlin Kelleher
2022 CHI Conference on Human Factors in Computing Systems  
In this paper, we examine the impact of availability of corrected code on TAs' ability to find, fix, and address bugs in student code.  ...  But these TAs are often relative beginners themselves, both in programming and in teaching.  ...  We defined solutions with large issues as ones involving errors in logical program flow and/or multiple interacting bugs; and solutions with small issues as not involving either of those. (2) Taken together  ... 
doi:10.1145/3491102.3501820 fatcat:rf652cq2fbh4fmrlfwzbmp7ila

Abstract Diagnosis of First Order Functional Logic Programs [chapter]

Giovanni Bacci, Marco Comini
2011 Lecture Notes in Computer Science  
Our debugging framework does not require the user to provide error symptoms in advance and is applicable with partial specifications and even partial programs.  ...  We present a generic scheme for the abstract debugging of functional logic programs.  ...  Introduction Finding program bugs is a long-standing problem in software development, even for highly expressive declarative functional logic languages because of laziness.  ... 
doi:10.1007/978-3-642-20551-4_14 fatcat:pjrp5nrhfbdvrkq6zoucyy23jy

End-user debugging strategies

Valentina Grigoreanu, Margaret Burnett, Susan Wiedenbeck, Jill Cao, Kyle Rector, Irwin Kwan
2012 ACM Transactions on Computer-Human Interaction  
the literature, sensemaking sequences leading to debugging progress, and sequences tied with troublesome points in the debugging process.  ...  Despite decades of research into how professional programmers debug, only recently has work emerged about how end-user programmers attempt to debug programs.  ...  We also used an "incorrect" modifier for the bug finds and bug fixes.  ... 
doi:10.1145/2147783.2147788 fatcat:drsezfxfafgn5kyesplelac76y
« Previous Showing results 1 — 15 out of 5,024 results