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

Logging is a common programming practice of practical importance to collect system
runtime information for postmortem analysis. Strategic logging placement is desired to cover …

Programmers often consult an online Q&A forum such as Stack Overflow to learn new APIs.
This paper presents an empirical study on the prevalence and severity of API misuse on …

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 …

Application Programming Interfaces (APIs) often have usage constraints, such as restrictions
on call order or call conditions. API misuses, ie, violations of these constraints, may lead to …

To improve software reliability, many rule-based techniques have been proposed to infer
programming rules and detect violations of these rules as bugs. These rule-based …

Given limited resource and time before software release, development-site testing and
debugging become more and more insufficient to ensure satisfactory software performance …

API misuses cause significant problem in software development. Existing methods detect
API misuses against frequent API usage patterns mined from codebase. They make a naive …

Bugs severely hurt blockchain system dependability. A thorough understanding of
blockchain bug characteristics is required to design effective tools for preventing, detecting …

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 …