Static API Specification Mining: Exploiting Source Code Model Checking - Mining Software Specifications: Methodologies and Applications - page 133

v—k—

j~– jnj

n~–h

zp—

t—~– t—~–

zm––

ni–

j~–h

u l ul

t—~–

nh–u

mnj

j–k—

FIGURE 5.14: A usage scenario around XOpenDisplay API as a partial
order. Lower support values produce larger partial orders. Higher support
values produce smaller partial orders (specifications). Specifications are shown
with dotted lines.

XOpenDisplay makes an interesting case study for our framework. Figure 5.14
shows a partial order learned by our framework, being a usage scenario. Fig-
ure 5.13 shows the statistics for the specifications learned by our framework
around XOpenDisplay .

5.3 Adapting Static Trace Generation for Mining API
Error-Handling Specifications
In this section, we describe how we adapt our trace generation and mining
framework (presented in the previous section) for mining API error-handling
specifications. The objective of the adaptations to our framework (henceforth,
referred to as adaptation(s)) presented in this section is to mine error-handling