Juan Manuel Copia

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Quantified Boolean Formulas

Computationally Intensive

Testing Process

Test Data Generation

Top Venues

Publications

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
Precise Lazy Initialization for Programs with Complex Heap Inputs. ISSRE (2023)
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
LISSA: Lazy Initialization with Specialized Solver Aid. ASE (2022)
Mattia Fazzini, Chase Choi, Juan Manuel Copia, Gabriel Lee, Yoshiki Kakehi, Alessandra Gorla, Alessandro Orso
Use of Test Doubles in Android Testing: An In-Depth Investigation. ICSE (2022)