Javier Godoy

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Víctor González, Javier Godoy, Patricia Arroyo, Félix Meléndez, Fernando Díaz, Angel López, José Ignacio Suárez, Jesús Lozano
Development of a Smartwatch with Gas and Environmental Sensors for Air Quality Monitoring. Sensors 24 (12) (2024)
Javier Godoy, Félix Meléndez, Patricia Arroyo, Víctor González, José Ignacio Suárez, Jesús Lozano
Demostration of a Sniffing Smartwatch for Air Quality Monitoring. exp.at (2023)
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)