Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada. Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine. In 28th Asia-Pacific Software Engineering Conference, APSEC 2021, Taipei, Taiwan, December 6-9, 2021. pages 570-571, IEEE, 2021. [doi]
Abstract is missing.