Source publication: [SMVJ15]
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 Name | Model | Inputs/Outputs | States | Transitions |
|---|---|---|---|---|
| ESM Controller | Model | 78/151 | 3410 | 265980 |