Probabilistic Black-Box Reachability Checking.

Bernhard K. Aichernig Martin Tappler

Published in: RV (2017)

Keyphrases

black box
black boxes
white box
integration testing
test cases
bayesian networks
hybrid systems
rule extraction
probabilistic model
transitive closure
artificial intelligence
state space
state transition
semi automatic
open source
object oriented
databases