Contractor Validation Tool

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

  2. BulletGuido 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]

  3. BulletGuido 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]

  4. BulletGuido 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]

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

  6. BulletGuido 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]

  7. BulletGuido 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]

  8. BulletGuido 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]

The theory behind Contractor