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

Exploratory analysis of multidimensional data sets is challenging because of the difficulty in
comprehending more than three dimensions. Two fundamental statistical principles for the …

We present Realm, an event-based runtime system for heterogeneous, distributed memory
machines. Realm is fully asynchronous: all runtime actions are non-blocking. Realm …

Runtime verification is the process of observing a sequence of events generated by a
running system and comparing it to some formal specification for potential violations. We …

A survey on formal active and passive testing with applications to the cloud | SpringerLink Skip
to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …

In this paper we integrate radviz and parallel coordinates, two methods able to handle
multidimensional datasets, exploiting their contrasting characteristics. From on side radviz …

We develop a formal passive testing framework for software systems where parties
communicate asynchronously. Monitors, placed in between the entities, check that a certain …

This paper is devoted to study the use of'gedanken'experiments with Finite State Machines
(FSMs) for protocol passive testing optimization. We discuss how the knowledge obtained …

In the recent years, important efforts have been made for offering a dedicated language for
modelling and verifying security protocols. Outcome of the European project AVISPA, the …

Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …