de Caso's publications at DC

Publications in 2013
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Enabledness-based Program Abstractions for Behaviour Validation" , ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013 Enabledness-based Program Abstractions for Behaviour Validation.pdf

2- Guido de Caso, Diego Garbervetsky, Daniel Gorín , "Integrated program verification tools in education" , Software - Practice and Experience, Volume 43, Number 4, page 403-418 - april 2013

3- Sebastian Uchitel, Dalal Alrajeh, Shoham Ben David, Víctor Braberman, Marsha Chechik, Guido de Caso, Nicolas D´Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German Sibay , "Supporting incremental behaviour model elaboration" , Computer Science - R&D, Volume 28, Number 4, page 279--293 - nov 2013 Supporting incremental behaviour model elaboration.pdf
 
Publications in 2012
1- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Abstractions for Validation in Action" , Proceedings of 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model-Driven Engineering, page 192--218 - 2012 abstractions_for_validation_in_action.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Automated Abstractions for Contract Validation" , Transactions on Software Engineering, Volume 38, Number 1, page 141--162 - 2012 05639021.pdf
 
Publications in 2011
1- Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel , "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-contractor.pdf

2- Guido de Caso, Diego Garbervetsky, Daniel Gorín , "Pest: from the lab to the classroom" , TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011 paper-topi-pest.pdf

3- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Program Abstractions for Behaviour Validation " , ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 381--390 - 2011 paper-icse-2011.pdf
 
Publications in 2010
1- Guido de Caso , "Behavioural Validation of Software Engineering Artefacts" , International Conference on Software Engineering (ICSE) - 2010 p335-de_caso.pdf

2- Guido de Caso, Hernán Czemerinski , "Historia de la Computación Hogareña en la Argentina" , Simposio de Historia de la Informática en América Latina y el Caribe 2010 - - 2010 monografiaArg_SHIALC.pdf

 
Publications in 2009
1- Guido de Caso, Daniel Gorín, Diego Garbervetsky , "Reducing the number of annotations in a verification-oriented imperative language" , Proceedings of Automatic Program Verification 2009 - - 2009 apv09.pdf

2- Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastian Uchitel , "Validation of Contracts using Enabledness Preserving Finite State Abstractions" , 31st IEEE/ACM International Conference on Software Engineering (ICSE), page 452--462 - may 2009 ICSE0130.PDF
 
Publications in 2006
1- Lucía Cavatorta, Guido de Caso, Andrés Ferrari, Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Alfredo Olivero, Fernando Schapachnik , "A Toolsuite for the Verification of RealTime Systems in Eclipse" , ETX 2006: OOPSLA workshop on eclipse Technology eXchange, page (in press) - 2006 cdf_etx-2006.pdf