(The analysis of .NET libraries in [1] suggests the development of a tool for
automatic contract extraction from .NET classes. The article observes that
preconditions tend to be hidden under explicit exception cases. A tool leveraging
this observation has been developed as part of this diploma thesis and is
documented in this report. Although the chosen approach is limited to elementary
cases, the application of the tool to classes ArrayList, Stack and Queue
of the .NET framework [16] reveals that, in these classes, half or more of all explicit
exception cases can be addressed and the corresponding preconditions are
extracted by the current implementation. The report includes the documentation
of the tool’s implementation, a presentation of the results and a discussion
of limitations and extensions of the present approach and implementation.)