Marcelo Uva

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated Workarounds from Java Program Specifications Based on SAT Solving. FASE (2017)
A. Gonzalez, Marcelo Uva, Mariana Frutos
Refactoring Java code by transformation rules in QVT-Relation. CLEI (2013)
Fabio Zorzan, Mariana Frutos, Ariel Arsaute, Marcela Daniele, Paola Martellotto, Marcelo Uva, Carlos Luna
Delayed completion of Final Project of the career Computer Analyst: Seeking its causes. CLEI (2012)
Narayan C. Debnath, Daniel Riesco, Manuel Pérez Cota, J. Baltasar García Pérez-Schofield, Daniel Romero, Marcelo Uva
Supporting the SPEM with a UML Extended Workflow Metamodel. AICCSA (2006)