From developer's head to developer tests: Characterization, theories, and preventing one more bug

Download: PDF.

“From developer's head to developer tests: Characterization, theories, and preventing one more bug” by David Saff. In Companion to Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2007), (Montréal, Canada), October 23-25, 2007, pp. 811-812.

Abstract

Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs with less effort. First, characterization tools summarize observations over a large number of executions, which can be checked by developers, and added to the test suite if they specify intended behavior. Second, theories are developer-written statements of correct behavior over a large set of inputs, which can be automatically verified. We outline an integrated toolset for characterization and theory-based testing, and frame further research into their usefulness.

Download: PDF.

BibTeX entry:

@inproceedings{Saff2007:OOPSLA2007poster,
   author = {David Saff},
   title = {From developer's head to developer tests: Characterization,
	theories, and preventing one more bug},
   booktitle = {Companion to Object-Oriented Programming Systems,
	Languages, and Applications (OOPSLA 2007)},
   pages = {811--812},
   address = {Montr{\'e}al, Canada},
   month = {October~23--25,},
   year = {2007}
}

(This webpage was created with bibtex2web.)

Back to Program Analysis Group publications.