Navegar

Colección

Datos Estadísticas

Lista de

Level of abstraction
4
"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
"Program abstractions for behaviour validation" (2011) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 33rd International Conference on Software Engineering, ICSE 2011:381-390
"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22
"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462