Efficiency Bounds for Adversary Constructions in Black-Box Reductions.

Ahto Buldas Aivo Jürgenson Margus Niitsoo

Published in: ACISP (2009)

Keyphrases

black box
black boxes
integration testing
white box
upper bound
state transition
rule extraction
hybrid systems
databases
lower bound
decision trees
computational complexity
software engineering
candidate solutions
white box testing