Javier Godoy
Javier Godoy, M. Sc.
PhD. Student @ LaFHIS, DC, FCEyN, Universidad de Buenos Aires
About
 |
I obtained a Master degree in Systems at Universidad Nacional de General Sarmiento, Argentina, in 2016. Now, I am a PhD. Student at LaFHIS: The Tools and Foundations for Software Engineering Lab since 2019. My research interests are in the broad area of Software Engineering, but particularly in Automatic Test Case Generation techniques for smart contracts. Contact Information E-Mail: jgodoy@dc.uba.ar |
Phd. Advisor: Juan Pablo Galeotti
Publications
-
Predicate Abstractions for Smart Contract Validation at Models 2022
-
Testing and validating end user programmed calculated fields at ESEC/FSE 2018
Teaching
I am Chief Teaching Assistant at the Computer Science Department, School of Sciences, University of Buenos Aires, since 2020
Undefined
