Extracting implicit contracts from .NET libraries

@inproceedings{Arnout2002ExtractingIC,
  title={Extracting implicit contracts from .NET libraries},
  author={Karine Arnout},
  booktitle={OOPSLA Companion},
  year={2002}
}
Can libraries written without explicit support for Design by Contract™ in the language or the method benefit from a posteriori addition of contracts? To help answer this question, we performed an empirical study of library classes from the .NET Collections library, which doesn't use Design by Contract, to search for unexpressed contracts. This poster… CONTINUE READING