Comparing Bug Finding Tools with Reviews and Tests

Lecture Notes in Computer Science - Testing of Communicating Systems ◽

10.1007/11430230_4 ◽

2005 ◽

pp. 40-55 ◽

Cited By ~ 43

Author(s):

Stefan Wagner ◽

Jan Jürjens ◽

Claudia Koller ◽

Peter Trischberger

Keyword(s):

Bug Finding

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 ◽

Cited By ~ 39

Author(s):

Jean Melo ◽

Claus Brabrand ◽

Andrzej Wąsowski

Keyword(s):

Bug Finding

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 ◽

Cited By ~ 2

Author(s):

Marcio Buss ◽

Daniel Brand ◽

Vugranam Sreedhar ◽

Stephen A. Edwards

Keyword(s):

Pointer Analysis ◽

Bug Finding

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 ◽

Cited By ~ 40

Author(s):

Dawson Engler ◽

Madanlal Musuvathi

Keyword(s):

Model Checking ◽

Static Analysis ◽

Software Model Checking ◽

Software Model ◽

Bug Finding

Download Full-text

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

2015 American Control Conference (ACC) ◽

10.1109/acc.2015.7171969 ◽

2015 ◽

Cited By ~ 2

Author(s):

Georgios Fainekos

Keyword(s):

Control Design ◽

Automotive Control ◽

Bug Finding

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 ◽

Cited By ~ 18

Author(s):

Kwangkeun Yi ◽

Hosik Choi ◽

Jaehwang Kim ◽

Yongdai Kim

Keyword(s):

Empirical Study ◽

Classification Methods ◽

Bug Finding

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 ◽

Cited By ~ 5

Author(s):

Madanlal Musuvathi ◽

Dawson Engler

Keyword(s):

Model Checking ◽

Static Analysis ◽

Software Model Checking ◽

Software Model ◽

Bug Finding

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):

Bug Finding

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 ◽

Test Cases ◽

Validation Process ◽

Software Product ◽

Bug Finding ◽

Testing Techniques ◽

The Right ◽

Selection Of

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