Conformance Testing of Mealy Machines Under Input Restrictions

Alberto Larrauri, Roderick Bloem

We introduce a grey-box conformance testing method for networks of interconnected Mealy Machines. This approach addresses the scenario where all interfaces of the component under t…