Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine.

Norihiro Yoshida, Takahiro Shimizu, Ryota Yamamoto, Hiroaki Takada

Browse the full APSEC paper archive.