Compartir
mining and checking object behavior (en Inglés)
Valentin Dallmeier
(Autor)
·
Sudwestdeutscher Verlag Fur Hochschulschrifte
· Tapa Blanda
mining and checking object behavior (en Inglés) - Dallmeier, Valentin
84,54 €
88,99 €
Ahorras: 4,45 €
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Martes 04 de Junio y el
Jueves 06 de Junio.
Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.
Reseña del libro "mining and checking object behavior (en Inglés)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
