Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing

Résumé

Among the various techniques for mining models from software systems, regular inference of black-box systems has been a central technique in the last decade. In this paper, we present various directions we have investigated for improving the efficiency of algorithms based on L * in a software testing context where interactions with systems entail large and complex input domains. In particular we consider algorithmic optimizations for large input sets, for parameterized inputs, for processing counterexamples. We also present our current directions motivated by application to security testing: focusing on specific sequences, identifying randomly generated values, combining with other adaptive techniques.
Fichier non déposé

Dates et versions

hal-00857280 , version 1 (03-09-2013)

Identifiants

Citer

Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. ISoLA 2012 - 5th International Symposium on Leveraging Applications, Oct 2012, Crete, Greece. pp.444-457, ⟨10.1007/978-3-642-34026-0_33⟩. ⟨hal-00857280⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More