Black Box Checking.

Doron A. Peled Moshe Y. Vardi Mihalis Yannakakis

Published in: FORTE (1999)

Keyphrases

black box
black boxes
white box
test cases
hybrid systems
white box testing
rule extraction
integration testing
database
object oriented
high level
database systems
training data
data model
semantic annotation
state transition