C Code Verification based on the Extended Labeled Transition System Model.

Dexi Wang Chao Zhang Guang Chen Ming Gu Jiaguang Sun

Published in: D&P@MoDELS (2016)

Keyphrases

statistical model
theoretical analysis
objective function
probabilistic model
computational model
parameter estimation
experimental data
data sets
genetic algorithm
high level
face recognition
similarity measure
prior knowledge
cost function
test data
state transitions