Model-based contracts for Java / C# collections
Bachelor Thesis and EiffelStudio Lab, May 2012 — September 2012
Author: Tobias Kiefer
Supervisor: Nadia Polikarpova
Project report (Bachelor Thesis)
Project report (EiffelStudio Lab)
Complete model-based contracts combined with automated contract-based testing have been shown to be able to reveal subtle faults in Eiffel classes. The goal of this project is to apply the same approach to libraries written in other programming languages.