International audiencePseudo-tested methods are defined as follows: they are covered by the test suite, yet no test case fails when the method body is removed, i.e., when all the effects of this method are suppressed. This intriguing concept was coined in 2016, by Niedermayr and colleagues, who showed that such methods are systematically present, even in well-tested projects with high statement coverage. This work presents a novel analysis of pseudo-tested methods. First, we run a replication of Niedermayr's study with 28K+ methods, enhancing its external validity thanks to the use of new tools and new study subjects. Second, we perform a systematic characterization of these methods, both quantitatively and qualitatively with an extensive m...
Manual software testing is a widely practiced verification and validation method that is unlikely to...
Nowadays, software pervades our life. Being software so deeply rooted into our society, software fai...
Theories can be produced by individuals seeking a good reputation of knowledge. Hence, a significant...
International audiencePseudo-tested methods are defined as follows: they are covered by the test sui...
Existing specification-based testing techniques often generate comprehensive test suites to cover di...
for Software Pseudo-exhaustive testing uses the empirical observation that, for broad classes of sof...
A good test suite is one that detects real faults. Because the set of faults in a program is usually...
A recurring problem in software development is incorrect decision making on the techniques, methods ...
Abstract — Researchers in software testing are often faced with the following problem of empirical v...
We compare the efficacy of different testing methods for improving the reliability of software. Spec...
Although testing is the most widely used technique to control the quality of software systems, it is...
Background: Common approaches to software verification include static testing techniques, such as co...
Background: Newspaper headlines still regularly report latent software defects. Such defects have of...
Context: Empirical Software Engineering (ESE) replication researchers need to store and manipulate e...
Testing of software, e.g., regression testing, is often performed using test or mock accounts, rathe...
Manual software testing is a widely practiced verification and validation method that is unlikely to...
Nowadays, software pervades our life. Being software so deeply rooted into our society, software fai...
Theories can be produced by individuals seeking a good reputation of knowledge. Hence, a significant...
International audiencePseudo-tested methods are defined as follows: they are covered by the test sui...
Existing specification-based testing techniques often generate comprehensive test suites to cover di...
for Software Pseudo-exhaustive testing uses the empirical observation that, for broad classes of sof...
A good test suite is one that detects real faults. Because the set of faults in a program is usually...
A recurring problem in software development is incorrect decision making on the techniques, methods ...
Abstract — Researchers in software testing are often faced with the following problem of empirical v...
We compare the efficacy of different testing methods for improving the reliability of software. Spec...
Although testing is the most widely used technique to control the quality of software systems, it is...
Background: Common approaches to software verification include static testing techniques, such as co...
Background: Newspaper headlines still regularly report latent software defects. Such defects have of...
Context: Empirical Software Engineering (ESE) replication researchers need to store and manipulate e...
Testing of software, e.g., regression testing, is often performed using test or mock accounts, rathe...
Manual software testing is a widely practiced verification and validation method that is unlikely to...
Nowadays, software pervades our life. Being software so deeply rooted into our society, software fai...
Theories can be produced by individuals seeking a good reputation of knowledge. Hence, a significant...