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
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 11:46:39 AM
Last modification on : Wednesday, July 6, 2022 - 4:20:07 AM




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⟩



Record views