Logs are semi-structured text generated by logging statements in software source code. In
recent decades, software logs have become imperative in the reliability assurance …

Temporal properties are useful for describing and reasoning about software behavior, but
developers rarely write down temporal specifications of their systems. Prior work on inferring …

The ability to reverse-engineer models of software behaviour is valuable for a wide range of
software maintenance, validation and verification tasks. Current reverse-engineering …

Many third party libraries are available to be downloaded and used. Using such libraries can
reduce development time and make the developed software more reliable. However …

Developers often receive many feature requests. To implement these features, developers
can leverage various methods from third party libraries. In this work, we propose an …

Automated program repair holds the potential to significantly reduce software maintenance
effort and cost. However, recent studies have shown that it often produces low-quality …

API libraries provide thousands of APIs, and are essential in daily programming tasks. To
understand their usages, it has long been a hot research topic to mine specifications that …

In this paper, we present an extension of active automata learning to register automata, an
automaton model which is capable of expressing the influence of data on control flow …

The Art and Science of Analyzing Software Data provides valuable information on analysis
techniques often used to derive insight from software data. This book shares best practices …

Software library documentation often describes individual methods' APIs, but not the
intended protocols and method interactions. This can lead to library misuse, and restrict …