The adoption of agile approaches has put an increased emphasis on testing, resulting in
extensive test suites. These suites include a large number of tests, in which developers …

I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and
support which has made this research possible. As a teacher and a sounding board for new …

Automatically generating test cases for software has been an active research topic for many
years. While current tools can generate powerful regression or crash-reproducing test cases …

Developing test code can be as or more expensive than developing production code.
Commonly, developers use automated unit test generators to speed up software testing. The …

Automated test generation techniques can efficiently produce test data that systematically
cover structural aspects of a program. In the absence of a specification, a common …

Automation of test oracles is one of the most challenging facets of software testing, but
remains comparatively less addressed compared to automated test input generation. Test …

Work on automated test generation has produced several tools capable of generating test
data which achieves high structural coverage over a program. In the absence of a …

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 …

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 …

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 …