Accelerating Taint-Based Concolic Testing by Pruning Pointer Overtaint.

Yun-Min Cheng Bing-Han Li Shiuhpyng Winston Shieh

Published in: SERE (2012)

Keyphrases

pruning method
data structure
search space
database
neural network
artificial intelligence
security policies
databases
machine learning
information systems
website
decision trees
case study
test cases
tree pruning