Applying SMT in symbolic execution of microcode | IEEE Conference Publication | IEEE Xplore