Juan Manuel Copia

According to our database, Juan Manuel Copia authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us?

Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio

Proceedings of the Search-Based Software Engineering, 2025

Search-based Inference of Class Invariants.

Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025

2024

FixCheck: A Tool for Improving Patch Correctness Analysis.

Facundo Molina, Juan Manuel Copia, Alessandra Gorla

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Improving Patch Correctness Analysis via Random Testing and Large Language Models.

Facundo Molina, Juan Manuel Copia, Alessandra Gorla

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Precise Lazy Initialization for Programs with Complex Heap Inputs.

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

2022

LISSA: Lazy Initialization with Specialized Solver Aid.

Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Use of Test Doubles in Android Testing: An In-Depth Investigation.

Mattia Fazzini, Chase Choi, Juan Manuel Copia, Gabriel Lee, Yoshiki Kakehi, Alessandra Gorla, Alessandro Orso

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022