Compositional Mining of Multiple Object API Protocols through State Abstraction

Table 5

Quality of mined typestates.

Application	No. of transitions	No. of validated transitions	Percentage
antlr	384	329	85.7%
bloat	303	241	79.5%
chart	331	288	87.0%
eclipse	286	210	73.4%
fop	429	392	91.4%
hsqldb	408	331	81.1%
jython	335	264	78.8%
luindex	453	380	83.9%
lusearch	362	250	69.1%
pmd	402	398	99.0%
xalan	425	405	95.3%
Overall	4118	3488	84.0%