MIIT2010

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, July 2010.

Contact

Muhammad-Naeem Irfan
Catherine Oriat
Roland Groz

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)