Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frederico Ramos
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
Registered user since Mon 20 Mar 2023
Name:
Frederico Ramos
Affiliation:
Instituto Superior Técnico
Contributions
2023
ECOOP
Author of Toward Tool-Independent Summaries for Symbolic Execution within the Research Papers-track
ECOOP/ISSTA
Presenter of Specification-Driven Synthesis of Summaries for Symbolic Execution within the Student Research Competition-track
ISSTA
Author of MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations within the Tool Demonstrations-track
Share
x
Thu 21 Nov 21:38