2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 2 cited
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
Léo Andrès, Filipe Marques, Arthur Carcano +3
In this paper, we present the design of Owi, a symbolic interpreter for WebAssembly written in OCaml, and how we used it to create a state-of-the-art tool to find bugs in programs…
cs.LO2022★ 1 cited
TestSelector: Automatic Test Suite Selection for Student Projects -- Extended Version
Filipe Marques, António Morgado, José Fragoso Santos +1
Computer Science course instructors routinely have to create comprehensive test suites to assess programming assignments. The creation of such test suites is typically not trivial…