Research Article

Compositional Mining of Multiple Object API Protocols through State Abstraction

Table 4

Results of mined typestates. The third column is the total number of interactions for the package, and the last column is the number of mined typestates models with no less than 10 interactions.

Package No. of single object typestates No. of interactions No. of models (≥10)

java.lang 27 161 3
java.util 32 77 0
java.io 30 23 0