Follow
Filipe Marques
Title
Cited by
Cited by
Year
Concolic Execution for WebAssembly
F Marques, J Fragoso Santos, N Santos, P Adão
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
102022
TestSelector: Automatic Test Suite Selection for Student Projects
F Marques, A Morgado, J Fragoso Santos, M Janota
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi …, 2022
22022
Robust Symbolic Execution for WebAssembly
FSO Marques
12021
TestSelector: Automatic Test Suite Selection for Student Projects--Extended Version
F Marques, A Morgado, JF Santos, M Janota
arXiv preprint arXiv:2207.09509, 2022
2022
Concolic Execution for WebAssembly (Artifact)
F Marques, J Fragoso Santos, N Santos, P Adão
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–5