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

https://hal.inria.fr/hal-00953592
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:54:33 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

201