Login / Signup
Enhancing bug hunting using high-level symbolic simulation.
Hong-Zu Chou
I-Hui Lin
Ching-Sung Yang
Kai-Hui Chang
Sy-Yen Kuo
Published in:
ACM Great Lakes Symposium on VLSI (2009)
Keyphrases
</>
high level
low level
source code
intermediate level
simulation model
data structure
software systems
low level features
neural network
expert systems
association rules
feature space
higher level
conceptual model
symbolic representation
high fidelity
simulation models