Black-Box Anonymous Commit-and-Prove.

Alessandra Scafuro

Published in: SCN (2022)

Keyphrases

black box
black boxes
white box
hybrid systems
test cases
integration testing
white box testing
neural network
computational intelligence
hidden markov models
scientific data
state transition
rule extraction