Case studies and tools for contract specifications
Todd W. Schiller, Kellen Donohue, Forrest Coward, Michael D. Ernst · 2014
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.