Compositional Mining of Multiple Object API Protocols through State Abstraction

<table>Mined typestates of <span style="font-family:monospace">Socket</span>, <span style="font-family:monospace">InputStream</span> and <span style="font-family:monospace">OutputStream</span>.</table>

The Scientific World Journal

fig4

Figure 4

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