Comparison between bug finding tools with reviews and testing

Asian Journal of Multidimensional Research (AJMR) ◽

10.5958/2278-4853.2021.00989.7 ◽

2021 ◽

Vol 10 (10) ◽

pp. 1286-1292

Author(s):

Alok Singh Sengar

Keyword(s):

Download Full-text

How does the degree of variability affect bug finding?

Proceedings of the 38th International Conference on Software Engineering - ICSE '16 ◽

10.1145/2884781.2884831 ◽

2016 ◽

Author(s):

Jean Melo ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Download Full-text

A novel analysis space for pointer analysis and its application for bug finding

Science of Computer Programming ◽

10.1016/j.scico.2009.08.002 ◽

2010 ◽

Vol 75 (11) ◽

pp. 921-942 ◽

Author(s):

Marcio Buss ◽

Daniel Brand ◽

Vugranam Sreedhar ◽

Stephen A. Edwards

Keyword(s):

Pointer Analysis ◽

Download Full-text

Static Analysis versus Software Model Checking for Bug Finding

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-24622-0_17 ◽

2004 ◽

pp. 191-210 ◽

Author(s):

Dawson Engler ◽

Madanlal Musuvathi

Keyword(s):

Model Checking ◽

Static Analysis ◽

Software Model Checking ◽

Software Model ◽

Download Full-text

Automotive control design bug-finding with the S-TaLiRo tool

2015 American Control Conference (ACC) ◽

10.1109/acc.2015.7171969 ◽

2015 ◽

Author(s):

Georgios Fainekos

Keyword(s):

Control Design ◽

Automotive Control ◽

Download Full-text

An empirical study on classification methods for alarms from a bug-finding static C analyzer

Information Processing Letters ◽

10.1016/j.ipl.2006.11.004 ◽

2007 ◽

Vol 102 (2-3) ◽

pp. 118-123 ◽

Author(s):

Kwangkeun Yi ◽

Hosik Choi ◽

Jaehwang Kim ◽

Yongdai Kim

Keyword(s):

Empirical Study ◽

Classification Methods ◽

Download Full-text

Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80002-7 ◽

2003 ◽

Vol 89 (3) ◽

pp. 378-404 ◽

Author(s):

Madanlal Musuvathi ◽

Dawson Engler

Keyword(s):

Model Checking ◽

Static Analysis ◽

Software Model Checking ◽

Software Model ◽

Download Full-text

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-030-41600-3_12 ◽

2020 ◽

pp. 180-192

Author(s):

Rohit Dureja ◽

Jianwen Li ◽

Geguang Pu ◽

Moshe Y. Vardi ◽

Kristin Y. Rozier

Keyword(s):

Download Full-text

Survey on Various Testing Techniques and Strategies for Bug Finding

INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY ◽

10.24297/ijct.v11i1.1184 ◽

2013 ◽

Vol 11 (1) ◽

pp. 2150-2155

Author(s):

Mohit Kumar ◽

Geetika Gandhi ◽

Sushil Garg

Keyword(s):

Software Testing ◽

Verification And Validation ◽

Validation Process ◽

Software Product ◽

Bug Finding ◽

Testing Techniques ◽

The Right ◽

Software testing is verification and validation process aimed for evaluating a program and ensures that it meets the required result. The main goal of software testing is to uncover the errors in software. So the main aim of test cases is to derive set of tests that have highest probability of finding bugs. There are many approaches to software testing, but effective testing of any software product is essentially a tough process. It is nearly impossible to find all the errors in the program. The major problem in testing is what would be the strategy that we should adopt for testing. Thus, the selection of right strategy at the right time will make the software testing efficient and effective. In this paper I have described software testing techniques which are classified by purpose.

Download Full-text

Precise and scalable static bug finding for industrial-sized code

10.14711/thesis-991012873366203412 ◽

2020 ◽

Author(s):

Qingkai Shi

Keyword(s):

Download Full-text

Jail for bug finding researcher?

Network Security ◽

10.1016/s1353-4858(05)00188-1 ◽

2005 ◽

Vol 2005 (1) ◽

pp. 20

Author(s):

Nova Dudley-Gough

Keyword(s):

Download Full-text