Abstract Model based testing is one of the promising technologies to meet the challenges
imposed on software testing. In model based testing an implementation under test is tested …

What opportunities for multicore scalability are latent in software interfaces, such as system
call APIs? Can scalability challenges and opportunities be identified even before any …

This chapter presents principles and techniques for model-based black-box conformance
testing of real-time systems using the Uppaal model-checking tool-suite. The basis for …

Systematic testing is very important for assessing and improving the quality of software
systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone …

This paper describes two Haskell libraries for property-based testing. Following the lead of
QuickCheck, these testing libraries SmallCheck and Lazy SmallCheck also use type-based …

Classical state-oriented testing approaches are based on simple machine models such as
Labelled Transition Systems (LTSs), in which data is represented by concrete values. To …

Inductive programming (IP)—the use of inductive reasoning methods for programming,
algorithm design, and software development—is a currently emerging research field. A …

Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain
by allowing the programmer to write a generic" recipe" for boilerplate code, and use that …

Datatype-generic programming is defining functions that depend on the structure, or"
shape", of datatypes. It has been around for more than 10 years, and a lot of progress has …

We present a lightweight, automated tool for specification-based testing of declarative
programs written in the functional logic programming language Curry and emphasize the …