Abstraction-driven Concolic Testing.

Przemyslaw Daca Ashutosh Gupta Thomas A. Henzinger

Published in: CoRR (2015)

Keyphrases

data driven
information retrieval
machine learning
test cases
bayesian networks
training data
high level
database systems
case study
feature selection
search algorithm
lower bound
multiresolution
object oriented
medical images
search engine
neural network