Uncovering hidden contracts: the .NET example | IEEE Journals & Magazine | IEEE Xplore