CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen Christopher Havlicek Zhenkun Yang Kai Cong Raghudeep Kannavara Fei Xie

Published in: FASE (2018)

Keyphrases

data mining
theoretical framework
recommender systems
higher level
lightweight
key features
neural network
computer vision
low level
probabilistic model
main contribution
levels of abstraction