most citedOwi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

2 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…