• Sign in
  • Sign up
conf.researchr.org / Juan Manuel Copia
  • ASE 2022 profile
  • ICSE 2022 profile
  • ICSE 2024 profile
  • ICST 2024 profile
  • ISSTA/ECOOP 2024 profile
Juan Manuel Copia

Registered user since Thu 6 Jan 2022

Name:Juan Manuel Copia
Bio:

PhD Student at IMDEA Software Institute

Country:Spain
Affiliation:IMDEA Software Institute; Universidad Politécnica de Madrid
GitHub: https://github.com/JuanmaCopia
Research interests:Symbolic execution, Software testing

Contributions

2024

ECOOP/ISSTA

  • Author of FixCheck: A Tool for Improving Patch Correctness Analysis within the Tool Demonstrations-track

ICST

  • Author of Improving Patch Correctness Analysis via Random Testing and Large Language Models within the Research Papers-track

KLEE

  • Presenter of Precise Lazy Initialization for Programs with Complex Heap Inputs within the KLEE 2024-track

2022

ASE

  • Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Artifact Evaluation-track
  • Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Research Papers-track

ICSE

  • Author of Use of Test Doubles in Android Testing: An In-Depth Investigation within the Technical Track-track
Share
xThu 4 Sep 04:32
using conf.researchr.org (v1.70.0)
Support page
Sign Up