Publications de Muhammad-Naeem Irfan

Load the BibTeX file

Thèses et habilitations à diriger les recherches

  1. Muhammad Naeem Irfan. Analysis and optimization of software model inference algorithms. Thèse de l'Université de Grenoble, Grenoble, France, Septembre 2012. details download

Chapitres de livres

  1. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. In Advances in Computers, Atif Memon (ed.), Vol. 89, pp. 89-139, Elsevier, Avril 2013. details

Conférences internationales

  1. Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 444-457, Octobre 2012. details
  2. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, Pages 133-138, Septembre 2012. details
  3. Muhammad Naeem Irfan. State Machine Inference in Testing Context with Long Counterexamples. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Pages 508-511, Paris, France, 2010. details
  4. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010. details
  5. Muhammad Naeem Irfan. Heuristics for Improving Model Learning Based Software Testing. In Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), Pages 127-128, Windsor, UK, Septembre 2009. details

Communications avec actes

  1. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples. In Zulu Workshop, Valencia, Septembre 2010. details
  2. 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. details

Cette page a été générée automatiquement par bib2html.