Frederico Ramos

Publication Activity (10 Years)

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

Top Topics

Mutation Testing

Symbolic Execution

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, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. ISSTA (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)