Mining and Checking Object Behavior
Valentin Dallmeier
Broschiertes Buch

Mining and Checking Object Behavior

Efficient Mining of Object Behavior Models

Versandkostenfrei!
Versandfertig in 6-10 Tagen
52,99 €
inkl. MwSt.
PAYBACK Punkte
26 °P sammeln!
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 pub...