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 …

Testing plays an essential role in ensuring the safety and quality of cyberphysical systems
(CPSs). One of the main challenges in automated and software-in-the-loop simulation …

This paper addresses the challenge of automated numeric domain model acquisition from
observations. Many industrial and commercial applications of planning technology rely on …

This thesis contributes work to the fields of runtime monitoring and specification mining. It
develops a formalism for specifying patterns of behaviour in execution traces and defines …

Modern systems are growing in complexity beyond deep comprehension of developers.
Increasing difficulties of keeping software projects on schedule and increasing recall rates …

System specifications are important in maintaining program correctness, detecting bugs,
understanding systems and guiding test case generation. Often, these specifications are not …

We introduce a novel algorithm for mining temporal intervals from real-time system traces
with linear complexity using passive, black-box learning. Our interest is in mining nfer …

In a selective retrospective of the history of software visualization we discuss examples of
applying visualization techniques to analyze the past and present state of software. Based …

Runtime verification involves checking whether an execution trace produced by a running
system satisfies a specification. However, a simple 'yes' or 'no'answer may not be sufficient; …

In this work, we address the problem of learning planning domain models from example
action traces that contain missing and noisy data. In many situations, the action traces that …