Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

Tools based on static analysis can be used to find defects in programs. Tools that do shallow
analyses based on pattern matching have existed since the 1980's and although they can …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

The European Commission has recently published a Forest Strategy for the European Union
(see chapter “The European Union Forest Strategy and the Forest Information System for …

Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

Explicitly stated program invariants can help programmers by identifying program properties
that must be preserved when modifying code. In practice, however, these invariants are …

A program verifier is a complex system that uses compiler technology, program semantics,
property inference, verification-condition generation, automatic decision procedures, and a …

Self-adaptive software requires high dependability robustness, adaptability, and availability.
The article describes an infrastructure supporting two simultaneous processes in self …

JML is a behavioral interface specification language tailored to Java (TM). Besides pre-and
postconditions, it also allows assertions to be intermixed with Java code; these aid …

Assertions play an important role in the construction of robust software. Their use in
programming languages dates back to the 1970s. Eiffel, an object-oriented programming …