Login / Signup
A Formal Characterization of Black-Box System Safety Performance With Scenario Sampling.
Bowen Weng
Linda Capito
Ümit Özgüner
Keith A. Redmill
Published in:
IEEE Robotics Autom. Lett. (2022)
Keyphrases
</>
black box
black boxes
test cases
white box
hybrid systems
monte carlo
state transition
rule extraction
random sampling
white box testing
integration testing
sample size
sampling methods
databases
real world
case study
multimedia