Inferring extended finite state machine models from software executions

The ability to reverse-engineer models of software behaviour is valuable for a wide range of software maintenance, validation and verification tasks. Current reverse-engineering techniques focus either on control-specific behaviour (e.g., in the form of Finite State Machines), or data-specific behav...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Empirical software engineering : an international journal Ročník 21; číslo 3; s. 811 - 853
Hlavní autoři:	Walkinshaw, Neil, Taylor, Ramsay, Derrick, John
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.06.2016 Springer Nature B.V
Témata:	Algorithms Compilers Computer programs Computer Science Finite state machines Inference Interpreters Invariants Machine learning Maintenance Program verification (computers) Programming Languages Software Software Engineering/Programming and Operating Systems Tasks Reverse engineering EFSMs Dynamic analysis
ISSN:	1382-3256, 1573-7616
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!

Buďte první, kdo okomentuje tento záznam!