Glass Box and Black Box Views of State-Based System Specifications..

Michel Bidoit Rolf Hennicker

Published in: AMAST (2004)

Keyphrases

black box
state transition
black boxes
state space
database
white box
rule extraction
hybrid systems
white box testing
data sets
multi view
multiple views
integration testing
machine learning
training data
test data