Functional test generation for behaviorally sequential models.

Fabrizio Ferrandi G. Ferrara Donatella Sciuto Alessandro Fin Franco Fummi

Published in: DATE (2001)

Keyphrases

test generation
complex systems
static analysis
symbolic execution
data sets
learning algorithm
computer vision
test cases