Automatic generation of software behavioral models

Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè

Abstract

Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing.

BibTeX

@inproceedings{Lorenzoli-al:ICSE08,
  author    = {Davide Lorenzoli and
               Leonardo Mariani and
               Mauro Pezz{\`{e}}},
  title     = {Automatic generation of software behavioral models},
  booktitle = {ICSE},
  pages     = {501--510},
  publisher = {{ACM}},
  year      = {2008},
}

Automatic generation of software behavioral models

Abstract

Related papers