A number of techniques that infer finite state automata from execution traces have been used to support test and analysis activities. Some of these techniques can produce automata that integrate information about the data-flow, that is, they also represent how data values affect the operations executed by programs. The integration of information about operation sequences and data values into a unique model is indeed conceptually useful to accurately represent the behavior of a program. However, it is still unclear whether handling heterogeneous types of information, such as operation sequences and data values, necessarily produces higher quality models or not. In this paper, we present an empirical comparative study between techniques that infer simple automata and techniques that infer automata extended with information about data-flow. We investigate the effectiveness of these techniques when applied to traces with different levels of sparseness, produced by different software systems. To the best of our knowledge this is the first work that quantifies both the effect of adding data-flow information within automata and the effectiveness of the techniques when varying sparseness of traces. © 2012 Elsevier Inc. All rights reserved.
Lo, D., Mariani, L., & Santoro, M. (2012). Learning extended FSA from software: An empirical assessment. THE JOURNAL OF SYSTEMS AND SOFTWARE, 85(9), 2063-2076 [10.1016/j.jss.2012.04.001].
|Citazione:||Lo, D., Mariani, L., & Santoro, M. (2012). Learning extended FSA from software: An empirical assessment. THE JOURNAL OF SYSTEMS AND SOFTWARE, 85(9), 2063-2076 [10.1016/j.jss.2012.04.001].|
|Tipo:||Articolo in rivista - Articolo scientifico|
|Carattere della pubblicazione:||Scientifica|
|Presenza di un coautore afferente ad Istituzioni straniere:||Si|
|Titolo:||Learning extended FSA from software: An empirical assessment|
|Autori:||Lo, D; Mariani, L; Santoro, M|
|Data di pubblicazione:||2012|
|Rivista:||THE JOURNAL OF SYSTEMS AND SOFTWARE|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1016/j.jss.2012.04.001|
|Appare nelle tipologie:||01 - Articolo su rivista|