H. Z. ChouI. H. LinC. S. YangK. H. ChangSY-YEN KUO2018-09-102018-09-102009-05http://scholars.lib.ntu.edu.tw/handle/123456789/352026Enhancing Bug Hunting Using High-Level Symbolic Simulationconference paper10.1145/1531542.15316372-s2.0-70350605264