Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. In 1st International Workshop on Model Inference In Testing, MIIT 2010, Pages 11-19, Juillet 2010.
Muhammad-Naeem Irfan
Catherine Oriat
Roland Groz
@InProceedings{MIIT2010,
Author = {Irfan, Muhammad Naeem and Oriat, Catherine and Groz, Roland},
Title = {Angluin Style Finite State Machine Inference with Non-optimal Counterexamples},
BookTitle = {1st International Workshop on Model Inference In Testing, MIIT 2010},
Pages = {11--19},
Month = {July},
Year = {2010}
}
Charger la référence EndNote (.ref)