Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, Kohei Suenaga

We introduce a novel methodology for testing stochastic black-box systems, frequently encountered in embedded systems. Our approach enhances the established black-box checking (BBC…