Detection of execution anomalies is very important for the maintenance, development, and
performance refinement of large scale distributed systems. Execution anomalies include …

Software engineering comprehends several disciplines devoted to prevent and remedy
malfunctions and to warrant adequate behaviour. Testing, the subject of this paper, is a …

Dynamic analysis of software systems produces behavioral models that are useful for
analysis, verification and testing. The main techniques for extracting models of functional …

Computer systems are often difficult to debug and understand. A common way of gaining
insight into system behavior is to inspect execution logs and documentation. Unfortunately …

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 …

Log files are commonly inspected by system administrators and developers to detect
suspicious behaviors and diagnose failure causes. Since size of log files grows fast, thus …

Successful software maintenance is becoming increasingly critical due to the increasing
dependence of our society and economy on software systems. One key problem of software …

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 …

Many testing and analysis techniques use finite state models to validate and verify the
quality of software systems. Since the specification of such models is complex and time …

Many software components are provided with incomplete specifications and little access to
the source code. Reusing such gray-box components can result in integration faults that can …