Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine
Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada · 2021
In this paper, we suggest an approach for extracting fine-grained state transition tables using the KLEE symbolic execution engine to assist developers in understanding the behavior of C source code for embedded systems.