Skip to Main content Skip to Navigation
Conference papers

Heuristics for Improving Model Learning Based Software Testing

Muhammad Naeem Irfan 1 
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Abstract : In order to reduce the cost and provide rapid development, most of the modern and complex systems are built integrating prefabricated third party components COTS. We have been investigating techniques to build formal models for black box components. The integration testing framework developed by our team leaves several open strategies; we will be investigating variations of these open strategies to enhance applicability. We are investigating the heuristics to improve the existing methodologies for learning black boxes and integration testing. We are addressing the counter-example part of the learning algorithm for improvements and are examining different techniques to identify the counterexamples in a more efficient way.
Document type :
Conference papers
Complete list of metadata
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 1:54:33 PM
Last modification on : Sunday, June 26, 2022 - 9:34:56 AM




Muhammad Naeem Irfan. Heuristics for Improving Model Learning Based Software Testing. Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART 2009), 2009, Windsor, UK, pp.127-128, ⟨10.1109/TAICPART.2009.32⟩. ⟨hal-00953592⟩



Record views