Concolic testing of SystemC designs.

Bin Lin Kai Cong Zhenkun Yang Zhi-gang Liao Tao Zhan Christopher Havlicek Fei Xie

Published in: ISQED (2018)

Keyphrases

data sets
information retrieval
test cases
machine learning
computer vision
knowledge base
clustering algorithm
search algorithm
lower bound
software testing