Compositional Mining of Multiple Object API Protocols through State Abstraction

Table 1

Types of events and corresponding information traced by the tracing agent.

Event	Traced information
Method entry	Thread name, stack depth of this method, method name and signature, types and values for all parameters
Method exit	Thread name, stack depth of this method, method name and signature, type and value for return
Field modification	Type of class of object, type of declaring class of field, object tag, field name and type, new value