State Machine Inference in Testing Context with Long Counterexamples - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

State Machine Inference in Testing Context with Long Counterexamples

Abstract

We are working on the techniques which iteratively learn the formal models from black box implementations by testing. The novelty of the approach addressed here is our processing of the long counterexamples. There is a possibility that the counterexamples generated by a counterexample generator include needless sub sequences. We address the techniques which are developed to avoid the impact of such unwanted sequences on the learning process. The gain of the proposed algorithm is confirmed by considering a comprehensive set of experiments on the finite sate machines.
No file

Dates and versions

hal-00953398 , version 1 (28-02-2014)

Identifiers

Cite

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⟩
104 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More