Research Article
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 |
|
|