Specifying sharemind's arithmetic black box.

Peeter Laud Alisa Pankova Martin Pettai Jaak Randmets

Published in: PETShop@CCS (2013)

Keyphrases

black box
black boxes
arithmetic operations
hybrid systems
white box
test cases
state transition
rule extraction
white box testing
integration testing
database
databases
artificial intelligence
multimedia