Formal testing for separation assurance.

Dimitra Giannakopoulou David H. Bushnell Johann Schumann Heinz Erzberger Karen Heere

Published in: Ann. Math. Artif. Intell. (2011)

Keyphrases

neural network
databases
database systems
test cases
real world
machine learning
metadata
bayesian networks
test data
software testing