Frameworks and libraries offer reusable and customizable functionality through Application
Programming Interfaces (APIs). Correctly using large and sophisticated APIs can represent a …

The adoption of agile approaches has put an increased emphasis on testing, resulting in
extensive test suites. These suites include a large number of tests, in which developers …

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 …

Code comments are important artifacts in software. Javadoc comments are widely used in
Java for API specifications. API developers write Javadoc comments, and API users read …

A caller must satisfy the callee's precondition—that is, reach a state in which the callee may
be called. Preconditions describe the state that needs to be reached, but not how to reach it …

Applying code changes to software systems and testing these code changes can be a
complex task that involves many different types of software testing strategies, eg system and …

In an object-oriented program, a unit test often consists of a sequence of method calls that
create and mutate objects, then use them as arguments to a method under test. It is …

Modern test case generation techniques can automatically achieve high code coverage. If
they operate on the unit level, they run the risk of generating inputs infeasible in reality …

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 …