Automatic generation of software behavioral models

Dynamic analysis of software systems produces behavioral models that are useful for analysis, verification and testing. The main techniques for extracting models of functional behavior generate either models of constraints on data, usually in the form of Boolean expressions, or models of interaction...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2008 ACM/IEEE 30th International Conference on Software Engineering Jg. 2008; H. 24; S. 501 - 510
Hauptverfasser:	Lorenzoli, D., Mariani, L., Pezze, M.
Format:	Tagungsbericht Journal Article
Sprache:	Englisch
Veröffentlicht:	IEEE 01.01.2008
Schlagworte:	Automata Data mining dynamic analysis gk-tail Informatics Information analysis Law Legal factors model synthesis Permission Software systems Software testing System testing
ISBN:	1424444861, 9781424444861, 1605580791, 9781605580791
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!