Pruning the Search Space in Path-Based Test Generation.

Sébastien Bardin Philippe Herrmann

Published in: ICST (2009)

Keyphrases

test generation
pruning the search space
search space
test cases
symbolic execution
design automation
static analysis
software testing
itemsets
code coverage
quality assurance
high utility
search algorithm
databases
software systems
relational databases
website