A Joint Operation Method of Fuzzy Test and Dynamic Symbol Execution | IEEE Conference Publication | IEEE Xplore