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
that abstracts both aliasing and event sequences for individual objects. The analysis uses a
new family of automata-based abstractions to represent unbounded event sequences,
designed to disambiguate distinct usage patterns and merge similar usage patterns.
Additionally, our approach includes an algorithm that summarizes abstract traces based on …

There is only one thing more painful than learning from experience and that is not learning
from experience.–Archibald MacLeish Programming is becoming more and more about
using frameworks and libraries. To perform standard tasks such as parsing an XML file, or
communicating with a database, programmers use existing standard frameworks and class
libraries rather than writing code from scratch. While much easier than writing code from
scratch, using a library is not a trivial task. A typical library API (application programming …