Conference Papers


  1. RV
    TestSelector: Automatic Test Suite Selection for Student Projects
    Filipe Marques, António Morgado, José Fragoso Santos, and 1 more author
    In Runtime Verification, 2022
  2. Concolic Execution for WebAssembly
    Filipe Marques, José Fragoso Santos, Nuno Santos, and 1 more author
    In 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022


  1. Poster
    Poster: Empirical Study on Applying Program Analysis and Testing Tools to Student Code
    Frederico Ramos, Filipe Marques, Pedro Adão, and 2 more authors
    In KLEE Workshop, 2022


  1. MSc
    Robust Symbolic Execution for WebAssembly
    Filipe Marques
    Instituto Superior Técnico, 2021