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...

Full description

Bibliographic Details

Published in:	2008 ACM/IEEE 30th International Conference on Software Engineering Vol. 2008; no. 24; pp. 501 - 510
Main Authors:	Lorenzoli, D., Mariani, L., Pezze, M.
Format:	Conference Proceeding Journal Article
Language:	English
Published:	IEEE 01.01.2008
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!