Program Abstractions for Behaviour Validation

ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering, page 381--390 - 2011
Download the publication : paper-icse-2011.pdf [258Ko]  

BibTex references

@InProceedings\{DBGU11,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Program Abstractions for Behaviour Validation ",
  booktitle    = "ICSE 2011, Proceedings of the 33rd International Conference on Software Engineering",
  pages        = "381--390",
  year         = "2011",
  publisher    = "ACM New York, NY, USA ",
  organization = "IEEE/ACM",
  url          = "http://publicaciones.dc.uba.ar/Publications/2011/DBGU11"
}

Other publications in the database

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