Mining and Checking Object Behavior

Mining and Checking Object Behavior


Marketed By :  Südwestdeutscher Verlag für Hochschulschriften   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days

₹ 6,631

Availability: Out of stock


Delivery :

5% Cashback on all Orders paid using MobiKwik Wallet T&C

Free Krispy Kreme Voucher on all Orders paid using UltraCash Wallet T&C
Product Out of Stock Subscription

(Notify me when this product is back in stock)

  • Product Description

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.

Product Specifications
SKU :COC72373
Country of ManufactureIndia
Product BrandSüdwestdeutscher Verlag für Hochschulschriften
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-10-08
0 Review(s)