Inproceedings,
Contractor.NET: inferring typestate properties to enrich code contracts.
E. Zoppi, V. Braberman, G. de Caso, D. Garbervetsky, and S. Uchitel.TOPI@ICSE, page 44-47. ACM, (2011)
Meta data
- BibTeX key
- conf/icse/ZoppiBCGU11
- entry type
- inproceedings
- booktitle
- TOPI@ICSE
- year
- 2011
- pages
- 44-47
- publisher
- ACM
- crossref
- conf/icse/2011topi
- ee
- https://doi.org/10.1145/1984708.1984721
- isbn
- 978-1-4503-0599-0
- url
- http://dblp.uni-trier.de/db/conf/icse/topi2011.html#ZoppiBCGU11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/ZoppiBCGU11
%A Zoppi, Edgardo
%A Braberman, Víctor A.
%A de Caso, Guido
%A Garbervetsky, Diego
%A Uchitel, Sebastián
%B TOPI@ICSE
%D 2011
%E Bishop, Judith
%E Breitman, Karin K.
%E Notkin, David
%I ACM
%K
%P 44-47
%T Contractor.NET: inferring typestate properties to enrich code contracts.
%U http://dblp.uni-trier.de/db/conf/icse/topi2011.html#ZoppiBCGU11
%@ 978-1-4503-0599-0
@inproceedings{conf/icse/ZoppiBCGU11,
added-at = {2023-12-13T02:02:50.000+0100},
author = {Zoppi, Edgardo and Braberman, Víctor A. and de Caso, Guido and Garbervetsky, Diego and Uchitel, Sebastián},
biburl = {https://www.bibsonomy.org/bibtex/24ebeef2f9eeff00670cc15e47dc7c024/admin},
booktitle = {TOPI@ICSE},
crossref = {conf/icse/2011topi},
editor = {Bishop, Judith and Breitman, Karin K. and Notkin, David},
ee = {https://doi.org/10.1145/1984708.1984721},
interhash = {7a200eee987a558612fead72df282021},
intrahash = {4ebeef2f9eeff00670cc15e47dc7c024},
isbn = {978-1-4503-0599-0},
keywords = {},
pages = {44-47},
publisher = {ACM},
timestamp = {2023-12-13T02:02:50.000+0100},
title = {Contractor.NET: inferring typestate properties to enrich code contracts.},
url = {http://dblp.uni-trier.de/db/conf/icse/topi2011.html#ZoppiBCGU11},
year = 2011
}