hW-inference : a Heuristic Approach to Retrieve Models through Black Box Testing

•A new algorithm for inferring Finite State Models of systems in black box mode.•Novelty: applies to systems that cannot be reset.•A heuristic approach that outperforms previous approaches.•Scales up to thousands of states.•Assessed on classical benchmarks, and a case study on a heating system.