Frederico Ramos

According to our database, Frederico Ramos authored at least 3 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

MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.

Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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