Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pedro Adão
conf.researchr.org general profile
ASE 2026 profile
ECOOP 2022 profile
ECOOP and ISSTA 2023 profile
ISSTA 2022 profile
Registered user since Thu 5 May 2022
Name:
Pedro Adão
Country:
Portugal
Affiliation:
IST-ULisboa and Instituto de Telecomunicações
Contributions
2026
KLEE
Author of LLM-Driven Generation of Summaries for Symbolic Execution within the KLEE 2026-track
2023
ECOOP
Author of Toward Tool-Independent Summaries for Symbolic Execution within the Research Papers-track
ISSTA
Committee Member in Tool Demonstrations within the Tool Demonstrations-track
2022
ISSTA
Author of Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities within the Tool Demonstrations-track
ECOOP
Author of Concolic Execution for WebAssembly within the Research Papers-track
Share
x
Thu 8 Oct 13:49