RT Conference Proceedings T1 Improving Patch Correctness Analysis via Random Testing and Large Language Models A1 Molina, Facundo A1 Copia, Juan Manuel A1 Gorla, Alessandra YR 2024 FD 2024 LK https://hdl.handle.net/20.500.14352/134081 UL https://hdl.handle.net/20.500.14352/134081 LA eng DS Docta Complutense RD 19 mar 2026