Metamorphic testing (MT) is an effective methodology for testing those so-called``non-
testable''programs (eg, scientific programs), where it is sometimes very difficult for testers to …

A representation invariant is a property that holds of all values of abstract type produced by a
module. Representation invariants play important roles in software engineering and …

Program invariants can help software developers identify program properties that must be
preserved as the software evolves, however, formulating correct invariants can be …

This paper describes the Context Awareness Framework developed for the HYDRA
Middleware Project. The HYDRA project aims to develop middleware to support intelligent …

Programmers have long used assertions to characterize properties of code. An assertion
violation signals a corruption in the programstate. At such a state, it is standard to terminate …

Functional programs typically interact with stateful libraries that hide state behind typed
abstractions. One particularly important class of applications are data structure …

Data structure corruptions are insidious bugs that reduce the reliability of software systems.
Constraint-based datastructure repair promises to help programs recover from potentially …

Modern programs are usually heap-based, where the programs manipulate heap-based
data structures to perform computations. In software engineering tasks such as test …

Local data structure invariants are asserted over a bounded fragment of a data structure
around a distinguished node M of the data structure. An example of such an invariant for a …

The trend towards multicore processors and graphic processing units is increasing the need
for software that can take advantage of parallelism. Writing correct parallel programs using …