Extracting a Micro State Transition Table Using the KLEE Symbolic Execution Engine | IEEE Conference Publication | IEEE Xplore