Round Optimal Black-Box "Commit-and-Prove".

Dakshita Khurana Rafail Ostrovsky Akshayaram Srinivasan

Published in: TCC (1) (2018)

Keyphrases

black box
black boxes
white box
dynamic programming
test cases
hybrid systems
state transition
white box testing
integration testing
relational databases
worst case
rule extraction
optimal solution
constant factor
neural network
database systems
databases
database