Pseudo-tested methods are defined as follows: they are covered by the test suite, yet no test
case fails when the method body is removed, ie, when all the effects of this method are …

Abstract Model checking techniques can be successfully employed as a test-case
generation technique to generate tests from formal models. The number of tests-cases …

Software testing of applications in fields like scientific computing, simulation, machine
learning, etc. is particularly challenging because many applications in these domains have …

Abstract Background: Test-Driven Development (TDD) is claimed to have positive effects on
external code quality and programmers' productivity. The main driver for these possible …

Testing technique-related empirical studies have been performed for 25 years. We have
managed to accumulate a fair number of experiments in this time, which might lead us to …

This position paper aims at discussing a number of issues that typically arise when
performing empirical studies with software testing techniques. Though some problems are …

Software testing requires the use of a model to guide such efforts as test selection and test
verification. Often, such models are implicit, existing only in the head of a human tester …

Researchers have reported that software testing techniques (STT) in general lack empirical
evidence, and yet empirical studies are still maturing in our field. Furthermore, validating …

What is the impact of software engineering research on current practices in industry? In this
paper, I report on my direct experience as a PhD/post-doc working in software engineering …

Diverse studies have analyzed the quality of automatically generated test cases by using
test smells as the main quality attribute. But recent work reported that generated tests might …