Mining and Checking Object Behavior di Valentin Dallmeier edito da Südwestdeutscher Verlag für Hochschulschriften AG  Co. KG
Alta reperibilità

Mining and Checking Object Behavior

Efficient Mining of Object Behavior Models

EAN:

9783838123929

ISBN:

3838123921

Pagine:
180
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Mining and Checking Object Behavior

This book introduces a novel approach to modeling the behavior of programs at runtime. The technique leverages the structure of object-oriented programs to derive models that describe the behavior of individual objects. Our approach mines object behavior models, finite state automata where states correspond to different states of an object, and transitions are caused by method invocations. Such models capture the effects of method invocations on an object's state. This approach is the first to combine the control-flow with information about the values of variables. It is implemented in the publicly available Adabu tool, which mines object behavior models from the executions of large interactive programs. This book also shows the usefulness of object behavior models for automatic fix generation and specification mining.

Spedizione gratuita
€ 81.33
o 3 rate da € 27.11 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Mining and Checking Object Behavior
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti