Guido de Caso

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▷ joint publications with Sebastián Uchitel

> Home > Persons > Guido de Caso

Publications

2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BrabermanGGUCPP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BrabermanGGUCPP18
Víctor A. Braberman, Diego Garbervetsky, Javier Godoy, Sebastián Uchitel, Guido de Caso, Ignacio Perez, Santiago Pérez:
Testing and validating end user programmed calculated fields. ESEC/SIGSOFT FSE 2018: 827-832
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ife/UchitelABBCCDFGKRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ife/UchitelABBCCDFGKRS13
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay:
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28(4): 279-293 (2013)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CasoBGU13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CasoBGU13
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Enabledness-based program abstractions for behavior validation. ACM Trans. Softw. Eng. Methodol. 22(3): 25:1-25:46 (2013)
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/CasoBGU12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/CasoBGU12
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Automated Abstractions for Contract Validation. IEEE Trans. Software Eng. 38(1): 141-162 (2012)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CasoBGU12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CasoBGU12
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Abstractions for Validation in Action. SFM 2012: 192-218
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZoppiBCGU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZoppiBCGU11
Edgardo Zoppi, Víctor A. Braberman, Guido de Caso, Diego Garbervetsky, Sebastián Uchitel:
Contractor.NET: inferring typestate properties to enrich code contracts. TOPI@ICSE 2011: 44-47
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CasoBGU11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CasoBGU11
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Program abstractions for behaviour validation. ICSE 2011: 381-390
2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CasoBGU09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CasoBGU09
Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel:
Validation of contracts using enabledness preserving finite state abstractions. ICSE 2009: 452-462

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.