I am a Phd. Student at LaFHIS: The Tools and Foundations for Software Engineering Lab since 2014. My research interests are in the broad area of Software Engineering and more specifically in modeling and analysis as a means to gain confidence in requirements, design and code artifacts. In particular using Static and Dynamic Program Analysis.
I'm working now on refinements of enabledness-preserving abstractions for semantic program comparison or semantic program equivalence. This means, generating statically from source code and requires it's protocol behavior model and comparing them for detecting semantic differences between different versions.
Future work will be apply this semantic diff tool to regression testing, regression verification and differential program repair.
I will be grateful to receive future possible collaboration offers.
Contact Information E-Mail: firstname.lastname@example.org
- LIBQIF: A Quantitative Information Flow C++ Toolkit Library(Submitted to JAIIO 2014)
- Una Aplicación de TV Digital para enseñanza en Medicina Veterinaria. Punto por punto suturas (A Digital TV Application for Veterinary Medicine Teaching. Punto por punto suturas) (Submitted to TE&ET 2012)
- Suturas en Medicina Veterinaria: Un Prototipo de Desarrollo NCL para la plataforma de Televisión Digital (Sutures on Veterinary Medicine : A Prototype for NCL Developing for Digital TV Platform) (Submitted to JAIIO 2011)
Events I'm assisting: