DVGen: Increasing Coverage by Automatically Combining Test Specifications.

Kevin D. Rich Robert Shaw Shankar G. Govindaraju David Dobrikin

Published in: HLDVT (2006)

Keyphrases

test suite
automatically generated
databases
data mining
website
evolutionary algorithm
test cases
statistical tests
reactive systems
genetic algorithm
search engine
high level
formal specification
delay insensitive