Login / Signup
Modeling Black-Box Components with Probabilistic Synthesis.
Bruce Collie
Jackson Woodruff
Michael F. P. O'Boyle
Published in:
CoRR (2020)
Keyphrases
</>
black box
black boxes
white box
generative model
test cases
probabilistic model
building blocks
hybrid systems
bayesian networks
state transition
integration testing
white box testing
database
database systems
software systems