Uncaught exceptions, and in particular null pointer exceptions (NPEs), constitute a major cause of crashes for software systems. Although tools for the static identification of potential NPEs exist, there is need for proper approaches able to identify system execution scenarios causing NPEs. This paper proposes a search-based test data generation approach aimed at automatically identify NPEs. The approach consists of two steps: (i) an inter-procedural data and control flow analysis—relying on existing technology—that identifies paths between input parameters and potential NPEs, and (ii) a genetic algorithm that evolves a population of test data with the aim of covering such paths. The algorithm is able to deal with complex inputs containing...
Finding and fixing buggy code is an important and cost-intensive maintenance task, and static analys...
AbstractA Random test generator generates executable tests together with their expected results. In ...
In this paper, we describe static analysis techniques for finding bugs in programs using the Java Na...
Uncaught exceptions, and in particular null pointer exceptions (NPEs), constitute a major cause of c...
In the summer of 2006, the FindBugs project was challenged to improve the null pointer analysis in F...
In general, modern programs are large and complex and it is essential that they should be highly rel...
update for oadoi on Nov 02 2018International audienceNull pointer exceptions (NPE) are the number on...
Null pointer exceptions, also known as null dereferences are the number one exceptions in the field....
Crash reproduction approaches help developers during debugging by generating a test case that reprod...
The foundation of the scientific method is the experimental, repeatable validation of hypotheses. Ho...
In Java, C or C++, attempts to dereference the nil value result in anexception or a segmentation fau...
Empirical studies in software testing research may not be comparable, reproducible, or characteristi...
Null dereferencing is one of the most frequent bugs in Java systems causing programs to crash due to...
Issues related to the dereferencing of null pointers are a pervasive and widely studied problem, and...
Software Testing is one of the most significant phases within the software development life cycle si...
Finding and fixing buggy code is an important and cost-intensive maintenance task, and static analys...
AbstractA Random test generator generates executable tests together with their expected results. In ...
In this paper, we describe static analysis techniques for finding bugs in programs using the Java Na...
Uncaught exceptions, and in particular null pointer exceptions (NPEs), constitute a major cause of c...
In the summer of 2006, the FindBugs project was challenged to improve the null pointer analysis in F...
In general, modern programs are large and complex and it is essential that they should be highly rel...
update for oadoi on Nov 02 2018International audienceNull pointer exceptions (NPE) are the number on...
Null pointer exceptions, also known as null dereferences are the number one exceptions in the field....
Crash reproduction approaches help developers during debugging by generating a test case that reprod...
The foundation of the scientific method is the experimental, repeatable validation of hypotheses. Ho...
In Java, C or C++, attempts to dereference the nil value result in anexception or a segmentation fau...
Empirical studies in software testing research may not be comparable, reproducible, or characteristi...
Null dereferencing is one of the most frequent bugs in Java systems causing programs to crash due to...
Issues related to the dereferencing of null pointers are a pervasive and widely studied problem, and...
Software Testing is one of the most significant phases within the software development life cycle si...
Finding and fixing buggy code is an important and cost-intensive maintenance task, and static analys...
AbstractA Random test generator generates executable tests together with their expected results. In ...
In this paper, we describe static analysis techniques for finding bugs in programs using the Java Na...