Toward More Effective Testing for High-Assurance Systems.

Herbert Hecht Myron Hecht Dolores R. Wallace

Published in: HASE (1997)

Keyphrases

high assurance
case study
high quality
operating system
learning systems
software systems
machine learning
computer vision
decision trees
data structure
relational databases
access control
building blocks