Skip to Main content Skip to Navigation
Conference papers

State Machine Inference in Testing Context with Long Counterexamples

Muhammad Naeem Irfan 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00953398
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:46:39 AM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

272