Functional Test Generation with Distribution Constraints.

Anna Moss Boris Gutkovich

Published in: Haifa Verification Conference (2009)

Keyphrases

test generation
test cases
symbolic execution
static analysis
design automation
probability distribution
data sets
computer vision
data warehouse
random variables
complex systems
machine vision
software testing
test sequences