Research Article

Compositional Mining of Multiple Object API Protocols through State Abstraction

Figure 3

Mined typestates of ZipFile and InputStream.
171647.fig.003