Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria.

Sébastien Bardin Nikolai Kosmatov François Cheynier

Published in: CoRR (2013)

Keyphrases

technical solutions
neural network
multi criteria
data sets
computationally expensive
databases
multimedia
high level
database systems
expert systems
object oriented
lightweight