The main objective of software testing is to have the highest likelihood of finding the most
faults with a minimum amount of time and effort. Genetic Algorithm (GA) has been …

This thesis explores generic functional programming. Generic programming is important
because it relieves the programmer from defining similar functions for various data types …

We report on our first experience with applying model-based testing techniques to an
operational Electronic Funds Transfer (EFT) switch. The goal is to test the conformance of …

The reliability of high-volume products, such as consumer electronic devices, is threatened
by the combination of increasing complexity, decreasing time-to-market, and strong cost …

Tangram Page 1 Tangram Citation for published version (APA): Tretmans, J. (Ed.) (2007).
Tangram: model-based integration and testing of complex high-tech systems. Technische …

Issues found in model-based testing of state-based systems are traces produced by the
system under test that are not allowed by the model used as specification. It is usually easier …

Abstract Model-based testing of single functions is usually based on logical properties as
specification. In practice it appears to be rather hard to develop a sufficiently strong set of …

More and more software systems use a browser as the universal graphical user interface. As
a consequence these applications inherit browser navigation as part of their interface …

For a model based automatic test system it is essential to generate elements of the used
data types automatically. In this paper we introduce an elegant algorithm that is able to …

In this paper we present a novel automated, on-line, modelbased testing system for on-the-
fly testing of thin-client web applications. Web applications are specified by means of …