Javier Godoy

Orcid: 0000-0002-4880-4070

According to our database¹, Javier Godoy authored at least 3 papers between 2018 and 2022.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

Predicate abstractions for smart contract validation.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Enabledness-based Testing of Object Protocols.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

2018

Testing and validating end user programmed calculated fields.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Javier Godoy

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...