Frederico Ramos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Specification-Driven Generation of Summaries for Symbolic Execution. | Rafael Gonalves, Frederico Ramos, Pedro Ado, Jos Fragoso Santos |
| 2023 | ECOOP | Toward Tool-Independent Summaries for Symbolic Execution. | Frederico Ramos, Nuno Sabino, Pedro Ado, David A. Naumann, Jos Fragoso Santos |
| 2023 | ISSTA | MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. | Frederico Ramos, Diogo Costa Reis, Miguel Trigo, Antnio Morgado, Jos Fragoso Santos |