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]
Capitolo o saggio
mining, finite state machines
English
Mining Software Specifications: Methodologies and Applications
978-143980627-2
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.
Mariani, L; Pastore, F; Pezze', M; Santoro, M
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/22386
Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
Social impact