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 …

Modern cloud systems are orchestrations of independent and interacting (sub-) systems,
each specializing in important services (eg, data processing, storage, resource …

With the growing complexity of railway control systems, it is required to preform runtime
safety checks of system executions that go beyond conventional runtime monitoring of pre …

Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

Application Programming Interfaces (APIs) often impose constraints such as call order or
preconditions. API misuses, ie, usages violating these constraints, may cause software …

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 …

While current bug detection techniques for concurrent software focus on unearthing low-
level issues such as data races or deadlocks, they often fall short of discovering more …

A common cause of bugs and vulnerabilities are the violations of usage constraints
associated with Application Programming Interfaces (APIs). API misuses are common in …

Researchers have proposed various approaches to generate test programs. The state-of-the-
art approaches can be roughly divided into random-based and mutation-based approaches …

Software specifications often use natural language to describe the desired behavior, but
such specifications are difficult to verify automatically. We present Swami, an automated …