Analyzing System Software Components Using API Model Guided Symbolic Execution
Tuba Yavuz from University of Florida at the 3nd 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...