Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

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 …

Several module and class testing techniques have been applied to object‐oriented (OO)
programs, but researchers have only recently begun developing test criteria that evaluate …

Testing involves examining the behaviour of a system in order to discover potential faults.
Determining the desired correct behaviour for a given input is called the “oracle problem” …

Test case prioritization (TCP) attempts to improve fault detection effectiveness by scheduling
the important test cases to be executed earlier, where the importance is determined by some …

Object-oriented programming consists of several different levels of abstraction, namely, the
algorithmic level, class level, cluster level, and system level. The testing of object-oriented …

Database systems play an important role in nearly every modern organization, yet relatively
little research effort has focused on how to test them. This paper discusses issues arising in …

We present and evaluate an automatic tool for extracting algebraic specifications from Java
classes. Our tool maps a Java class to an algebraic signature and then uses the signature to …

Programs developed with object technologies have unique features that often make
traditional testing methods inadequate. Consider, for instance, the dependence between the …

We present an integrated method for program proving, testing, and debugging. Using the
concept of metamorphic relations, we select necessary properties for target programs. For …