Muhammad Naeem Irfan. State Machine Inference in Testing Context with Long Counterexamples.
Third International Conference on Software Testing, Verification and Validation, ICST 2010, 2010, Paris, France. pp.508-511,
⟨10.1109/ICST.2010.68⟩.
⟨hal-00953398⟩