Compositional Mining of Multiple Object API Protocols through State Abstraction

<table> Typestates of interactions between <span style="font-family:monospace">BufferedInputStream</span> and its wrapped <span style="font-family:monospace">InputStream</span> mined by our approach. <i>is</i> denotes the above highlighted part of the figure, and <i>bis</i> denotes the below highlighted part of the figure.</table>

The Scientific World Journal

fig1

Figure 1

Figure 1: Compositional Mining of Multiple Object API Protocols through State Abstraction 