A Cookbook for Black-Box Separations and a Recipe for UOWHFs.

Kfir Barhum Thomas Holenstein

Published in: Electron. Colloquium Comput. Complex. (2012)

Keyphrases

black box
black boxes
hybrid systems
white box
test cases
advanced features
white box testing
databases
recursive functions
integration testing
database
semi automatic