An Alternative Approach to Non-black-box Simulation in Fully Concurrent Setting.

Susumu Kiyoshima

Published in: IACR Cryptol. ePrint Arch. (2015)

Keyphrases

black box
black boxes
white box
test cases
data sets
rule extraction
integration testing
database
numerical simulations
simulation model
state transition
hybrid systems
white box testing