Poster: Empirical Study on Applying Program Analysis and Testing Tools to Student Code
Frederico Ramos from INESC-ID at the 3rd International KLEE Workshop on Symbolic Execution
KLEE Workshop 2022: https://srg.doc.ic.ac.uk/klee22/
Slides: https://srg.doc.ic.ac.uk/klee22/talks...