Nuno Sabino

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Symbolic Execution

Test Generation

Top Venues

Dagstuhl Artifacts Ser.

Publications

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
Toward Tool-Independent Summaries for Symbolic Execution. ECOOP (2023)
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
Toward Tool-Independent Summaries for Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)