Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is
designed and implemented with several usage scenarios in mind, some of which possibly …

The current research so far in aspect-oriented software development is focused on problem
analysis, software design, and implementation techniques. Even though the importance of …

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 …

Correct functioning of object-oriented software depends upon the successful integration of
classes. While individual classes may function correctly, several new faults can arise when …

High-coverage testing is challenging. Modern object-oriented programs present additional
challenges for testing. One key difficulty is the generation of proper method sequences to …

Automatic software testing tools are still far from ideal for real world object-oriented (OO)
software. The use of nature inspired search algorithms for this problem has been …

UML is widely accepted and used by industry for modelling and design of software systems.
A novel method to automatically generate test cases based on UML state models is …

This paper presents TestFul, an evolutionary testing approach for Java classes that works
both at class and method level. TestFul exploits a multi-objective evolutionary algorithm to …