Case studies and tools for contract specifications

Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst

Abstract

Contracts are a popular tool for specifying the functional behavior of software. This paper characterizes the contracts that developers write, the contracts that developers could write, and how a developer reacts when shown the difference.

BibTeX

@inproceedings{Schiller-al:ICSE14,
  author    = {Todd W. Schiller and
               Kellen Donohue and
               Forrest Coward and
               Michael D. Ernst},
  title     = {Case studies and tools for contract specifications},
  booktitle = {ICSE},
  pages     = {596--607},
  publisher = {{ACM}},
  year      = {2014},
}

Case studies and tools for contract specifications

Abstract

Related papers