Efficient Black-Box Checking via Model Checking with Strengthened Specifications

Junya Shijubo, Masaki Waga, Kohei Suenaga

Black-box checking (BBC)} is a testing method for cyber-physical systems (CPSs) as well as software systems. BBC consists of active automata learning and model checking; a Mealy ma…