The Long Road towards Testing Multi-Threaded Programs with KLEE
Daniel Schemmel from the RWTH Aachen University at the 2nd International KLEE Workshop on Symbolic Execution
KLEE Workshop 2021: https://srg.doc.ic.ac.uk/klee21/
Slides: https://srg.doc.ic.ac.uk/klee21/talks...