On Black-Box Verifiable Outsourcing.

Amit Agarwal Navid Alamati Dakshita Khurana Srinivasan Raghuraman Peter Rindal

Published in: TCC (1) (2023)

Keyphrases

black box
black boxes
information technology
white box
service providers
hybrid systems
information systems
integration testing
test cases
business process
supplier selection
state transition
sufficient conditions
high level
rule extraction
learning algorithm
end users
metadata
white box testing