Navegar

Colección

Datos Estadísticas

Lista de

Enabledness abstractions
3
"Enabledness-based program abstractions for behavior validation" (2013) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(3)
"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47
"Contractor.NET: Inferring typestate properties to enrich code contracts" (2011) Zoppi, E.;Braberman, V.;De Caso, G. (...)Uchitel, S. 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011:44-47