Theory-infected: or how i learned to stop worrying and love universal quantification

@inproceedings{Saff2007TheoryinfectedOH,
  title={Theory-infected: or how i learned to stop worrying and love universal quantification},
  author={David Saff},
  booktitle={OOPSLA '07},
  year={2007}
}
Writing developer tests as software is built can provide peace of mind. As the software grows, running the tests can prove that everything still works as the developer envisioned it. But what about the behavior the developer failed to envision? Although verifying a few well-picked scenarios is often enough, experienced developers know bugs can often lurk even in well-tested code, when correct but untested inputs provoke obviously wrong responses. This leads to worry. We suggest writing… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 15 CITATIONS

Testing with concepts and axioms in C++

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Using Test Oracles and Formal Specifications with Test-Driven Development

  • International Journal of Software Engineering and Knowledge Engineering
  • 2013
VIEW 1 EXCERPT
CITES METHODS