Guido de Caso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
1
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ICSE | Program abstractions for behaviour validation. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |
| 2011 | ICSE | Pest: from the lab to the classroom. | Guido de Caso, Diego Garbervetsky, Daniel Gorn |
| 2011 | ICSE | Contractor.NET: inferring typestate properties to enrich code contracts. | Edgardo Zoppi, Vctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastin Uchitel |
| 2010 | ICSE | Behavioural validation of software engineering artefacts. | Guido de Caso |
| 2010 | ICSE | Behavioural validation of software engineering artefacts. | Guido de Caso |
| 2009 | ICSE | Validation of contracts using enabledness preserving finite state abstractions. | Guido de Caso, Vctor A. Braberman, Diego Garbervetsky, Sebastin Uchitel |