Contractor.NET: inferring typestate properties to enrich code contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Edgardo Zoppi' in GoogleThis author has not been identified. Look up 'Víctor A. Braberman' in GoogleThis author has not been identified. Look up 'Guido de Caso' in GoogleThis author has not been identified. Look up 'Diego Garbervetsky' in GoogleThis author has not been identified. Look up 'Sebastián Uchitel' in Google

runs on WebDSL