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

Celý popis

Podrobná bibliografie

Vydáno v:	2008 ACM/IEEE 30th International Conference on Software Engineering Ročník 2008; číslo 24; s. 501 - 510
Hlavní autoři:	Lorenzoli, D., Mariani, L., Pezze, M.
Médium:	Konferenční příspěvek Journal Article
Jazyk:	angličtina
Vydáno:	IEEE 01.01.2008
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!