Contractor.NET: inferring typestate properties to enrich code contracts.

Edgardo Zoppi, Vctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastin Uchitel

Browse the full ICSE paper archive.