Research Track session

Code Contracts, Invariants & Robustness
June 5th, Thursday, 10:30 am - 12:30 pm
Session Chair: Andreas Zeller
Room: Hall 2

10:30 - 11:00 Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
Nelio Cacho, Eiji Barbosa, Thiago Cesar, Alessandro Garcia, Thomas Filipe, and Eliezio Soares
UFRN, Brazil; PUC-Rio, Brazil
11:00 - 11:30 Writing and Enforcing Contract Specifications
Todd W. Schiller, Kellen Donohue, Forrest Coward, and Michael D. Ernst
University of Washington, USA
11:30 - 12:00 Using Dynamic Analysis to Generate Disjunctive Invariants
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest
University of New Mexico, USA; University of Virginia, USA
12:00 - 12:30 Inductive Verification of Data Model Invariants for Web Applications
Ivan Bocic and Tevfik Bultan
University of California at Santa Barbara, USA