Sign in
Javier Godoy
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
User Driven
Top Venues
ACM Trans. Softw. Eng. Methodol.
MoDELS
ESEC/SIGSOFT FSE
</>
Publications
</>
Javier Godoy
,
Juan Pablo Galeotti
,
Diego Garbervetsky
,
Sebastián Uchitel
Predicate abstractions for smart contract validation.
MoDELS
(2022)
Javier Godoy
,
Juan Pablo Galeotti
,
Diego Garbervetsky
,
Sebastián Uchitel
Enabledness-based Testing of Object Protocols.
ACM Trans. Softw. Eng. Methodol.
30 (2) (2021)
Víctor A. Braberman
,
Diego Garbervetsky
,
Javier Godoy
,
Sebastián Uchitel
,
Guido de Caso
,
Ignacio Perez
,
Santiago Perez
Testing and validating end user programmed calculated fields.
ESEC/SIGSOFT FSE
(2018)