Enabledness-based Program Abstractions for Behaviour Validation

ACM Transactions on Software Engineering and Methodology, Volume 22, Number 3, page art. 25 - feb 2013
Download the publication : Enabledness-based Program Abstractions for Behaviour Validation.pdf [479Ko]  

BibTex references

@Article\{DBGU13,
  author       = "de Caso, Guido and Braberman, V\'{\i}ctor and Garbervetsky, Diego and Uchitel, Sebastian",
  title        = "Enabledness-based Program Abstractions for Behaviour Validation",
  journal      = "ACM Transactions on Software Engineering and Methodology",
  number       = "3",
  volume       = "22",
  pages        = "art. 25",
  month        = "feb",
  year         = "2013",
  publisher    = "ASSOC COMPUTING MACHINERY",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/DBGU13"
}

Other publications in the database

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