Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts

Edgardo Zoppi, Víctor Braberman, Guido de Caso, Diego Garbervetsky, Sebastian Uchitel
TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011
Download the publication : paper-topi-contractor.pdf [313Ko]  

BibTex references

@InProceedings\{ZBDGU11,
  author       = "Zoppi, Edgardo and Braberman, V\'{\i}ctor and de Caso, Guido and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts",
  booktitle    = "TOPI 2011: 1st Workshop on Developing Tools as Plug-ins ",
  year         = "2011",
  publisher    = "ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/ZBDGU11"
}

Other publications in the database

» Edgardo Zoppi
» Víctor Braberman
» Guido de Caso
» Diego Garbervetsky
» Sebastian Uchitel