Nuno Sabino

According to our database, Nuno Sabino authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Toward Tool-Independent Summaries for Symbolic Execution (Artifact).

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos

Dagstuhl Artifacts Ser., 2023

Toward Tool-Independent Summaries for Symbolic Execution.

Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023