Verification Approach of Statechart Models based on Property Statechart.

Lina Chen Yu Zhang Jianmin Zhao

Published in: VISAPP (1) (2015)

Keyphrases

test cases
statistical models
probabilistic model
prior knowledge
data sets
information retrieval
e learning
training data
model selection
complex systems
software testing
face verification