Modeling black-box components with probabilistic synthesis.

Bruce Collie Jackson Woodruff Michael F. P. O'Boyle

Published in: GPCE (2020)

Keyphrases

black box
black boxes
white box
hybrid systems
bayesian networks
test cases
rule extraction
white box testing
generative model
building blocks
state transition
rough sets
uncertain data
integration testing