State Machine Inference in Testing Context with Long Counterexamples | IEEE Conference Publication | IEEE Xplore