Many software design and verification techniques assume the availability of some kind of behavioral models of the systems under analysis [2,4,10,11,28]. Unfortunately, manually specifying and maintaining behavioral models is expensive and error prone, and requires specific skills that are not always available in development teams. This reduces the applicability of model-based approaches in industrial projects. The problem of generating behavioral models can be solved with techniques that automatically generate behavioral models by mining program executions and thus reducing the effort required to generate models [3, 5, 18,20,24]
Mariani, L., Pastore, F., Pezze', M., Santoro, M. (2011). Mining Finite-State Automata with Annotations. In D. Lo, S. Khoo, J. Han, C. Liu (a cura di), Mining Software Specifications: Methodologies and Applications (pp. 29-57). CRC Press.
Mining Finite-State Automata with Annotations
MARIANI, LEONARDO
;PASTORE, FABRIZIO;PEZZE', MAURO;SANTORO, MAURO
2011
Abstract
Many software design and verification techniques assume the availability of some kind of behavioral models of the systems under analysis [2,4,10,11,28]. Unfortunately, manually specifying and maintaining behavioral models is expensive and error prone, and requires specific skills that are not always available in development teams. This reduces the applicability of model-based approaches in industrial projects. The problem of generating behavioral models can be solved with techniques that automatically generate behavioral models by mining program executions and thus reducing the effort required to generate models [3, 5, 18,20,24]
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
