Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria.

Sébastien Bardin Nikolai Kosmatov François Cheynier

Published in: ICST (2014)

Keyphrases

symbolic execution
databases
data sets
specification language
database
genetic algorithm
general purpose
formal specification
static analysis