Extracting a Micro State Transition Table Using KLEE
Norihiro Yoshida from Nagoya 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...