kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2011

Programs, tests, and oracles: the foundations of testing revisited

Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl

PDFDOI 10.1145/1985793.1985847dblp

Abstract

In previous decades, researchers have explored the formal foundations of program testing. By exploring the foundations of testing largely separate from any specific method of testing, these researchers provided a general discussion of the testing process, including the goals, the underlying problems, and the limitations of testing. Unfortunately, a common, rigorous foundation has not been widely adopted in empirical software testing research, making it difficult to generalize and compare empirical research.

BibTeX
@inproceedings{Staats-al:ICSE11,
  author    = {Matt Staats and
               Michael W. Whalen and
               Mats Per Erik Heimdahl},
  title     = {Programs, tests, and oracles: the foundations of testing revisited},
  booktitle = {ICSE},
  pages     = {391--400},
  publisher = {{ACM}},
  year      = {2011},
}

Related papers