print · source · login   

Engine State Manager of Oce Printer

Source publication: [SMVJ15]

Description

The Engine Status Manager (ESM) is a software component that is used in printers and copiers of Oce. Using a combination of LearnLib and a novel conformance testing algorithm, the authors of [SMVJ15] succeeded to learn a Mealy machine model of this component fully automatically. Altogether, around 60 million queries were needed to learn a model of the ESM with 77 inputs and 3.410 states. They also constructed a model by flattening a RRRT description of the ESM software, and established equivalence with the learned model.

Benchmark NameModelInputs/OutputsStatesTransitions
ESM ControllerModel78/1513410265980