Rafael Gonalves
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2026
Best venue rank
A
Where they publish
Papers
2 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 |
| 2025 | TACAS | Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. | Rafael Gonalves, Filipe Gouveia, Ins Lynce, Jos Fragoso Santos |