Hernán Czemerinski, Víctor Braberman, Sebastian Uchitel,
Behaviour Abstraction Adequacy Criteria for API Call Protocol Testing, ASOFTWARE TESTING, VERIFICATION & RELIABILITY - 2015
[BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel,
Enabledness-based Program Abstractions for Behaviour Validation, ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013
[PDF] [BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián 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
[PDF] [BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel,
Program Abstractions for Behaviour Validation,
International Conference on Software Engineering 2011.
Honolulu, HI, U.S.A., May 21-28th, 2011
[PDF]      [Slides]       [Video]       [BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel,
Automated Abstractions for Contract Validation,
IEEE Transactions on Software Engineering (in press)
[PDF]      [BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel,
Contractor for Code Validation, Technical Report,
Departamento de Computación, FCEyN, UBA. 2010.
[PDF and BIB]

Guido de Caso,
Behavioural Validation of Software Engineering Artefacts,
International Conference on Software Engineering 2010: Doctoral Symposium.
Cape Town, South Africa, May 4th, 2010
[PDF]      [BIB]

Guido de Caso, Víctor Braberman, Diego Garbervetsky, Sebastián Uchitel,
Validation of Contracts using Enabledness Preserving Finite State Abstractions,
International Conference on Software Engineering 2009.
Vancouver, Canada, May 16-24th, 2009
[PDF]      [Slides]       [Video]       [BIB]