Checking Model Consistency Using Data-Flow Testing.

Chen-Wei Wang Alessandra Cavarra

Published in: APSEC (2009)

Keyphrases

data flow
probabilistic model
mathematical model
probability distribution
computational model
formal model
database machine
databases
objective function
prior knowledge
experimental data
conceptual model