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

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