Many large-scale software systems must service thousands or millions of concurrent
requests. These systems must be load tested to ensure that they can function correctly under …

Abstract Model checking approaches to the analysis of security protocols have proved
remarkably successful. The basic approach is to produce a model of a small system running …

Three automatic test case generation algorithms intended to test the resource allocation
mechanisms of telecommunications software systems are introduced. Although these …

The goal of a load test is to uncover functional and performance problems of a system under
load. Performance problems refer to the situations where a system suffers from unexpectedly …

This paper presents a new methodology for evaluating the quality of motion estimation and
stereo correspondence algorithms. Motivated by applications such as novel view generation …

Many software applications must provide services to hundreds or thousands of users
concurrently. These applications must be load tested to ensure that they can function …

In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

Performance regression testing detects performance regressions in a system under load.
Such regressions refer to situations where software performance degrades compared to …

Safety-critical systems are those whose failure can lead to injury or loss of life. Software is
becoming increasingly relied upon for the safe and correct operation of such systems …

The appearance of a pattem behind a transparent, moving object is distorted by refraction at
the moving object's surface. This paper describes an algorithm for reconstructing the surface …