Typically, software libraries provide API documentation, through which developers can learn
how to use libraries correctly. However, developers may still write code inconsistent with API …

We present a novel approach to client-side mining of temporal API specifications based on
static analysis. Specifically, we present an interprocedural analysis over a combined domain …

Objects often define usage protocols that clients must follow inorder for these objects to work
properly. Aliasing makes itnotoriously difficult to check whether clients and implementations …

Typestate reflects how the legal operations on imperative objects can change at runtime as
their internal state changes. A typestate checker can statically ensure, for instance, that an …

Reusable APIs often define usage protocols. We previously developed a sound modular
type system that checks compliance with typestate-based protocols while affording a great …

Modern programs make extensive use of reusable software libraries. For example, we found
that 17% to 30% of the classes in a number of large Java applications use the container …

Acknowledgements Thanks to Max Willsey, Gus Smith, and the anonymous reviewers for
their 26 helpful feedback on early drafts. This research was supported in part by the National …

Many software libraries, especially those commercial ones, provide API documentation in
natural languages to describe correct API usages. However, developers may still write code …

Behavioral models are useful for various software engineering tasks. They are, however,
often missing in practice. Thus, specification mining was proposed to tackle this problem …

Information about the origins of a bug can be useful for many applications, such as the
computation of defect age and fault-proneness of code components. Although there exists …