Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel. Contractor.NET: inferring typestate properties to enrich code contracts. In Judith Bishop, Karin Breitman, David Notkin, editors, Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011. pages 44-47, ACM, 2011. [doi]
Abstract is missing.