A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling.

Bowen Weng Linda Capito Ümit Özgüner Keith A. Redmill

Published in: CoRR (2021)

Keyphrases

black box
black boxes
white box
random sampling
white box testing
state transition
monte carlo
integration testing
multi agent systems
formal model
real world
neural network
error rate
test cases
hybrid systems