Case studies and tools for contract specifications. - Todd W. Schiller; Kellen Donohue; Forrest Coward; Michael D. Ernst (ICSE, 2014)